Intersection of Ideals in a Polynomial Ring over a Dual Valuation Domain

Algorithm 5

Computing a generating set for .

Input: given ideals and in .

Output: generating set for .

1 Compute a syzygy matrix for . Let be the number of columns of

2 for  each column   of (i.e )  do

3 Compute each for

4 end

5 return