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

Algorithm 3

Gröbner basis for .

Input: strong Gröbner basis for and a monomial ordering .

Output: strong Gröbner basis for w.r.t induced by and .

1

2 for    do

3

4

5

6 end

7 for    do

8 if    then

9

10

11

12end

13

14 end

15 return