Research Article
Intersection of Ideals in a Polynomial Ring over a Dual Valuation Domain
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 |
|