Research Article
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 |
|