Go backward to
`desing/haltingmode1`
Go up to
Procedures
Go forward to
`desing/idealpower`
`desing/idealproduct`
Computing a set of generators for the product ideal from the generators of the factors.
Input:
I1,I2
list of polynomials
Output:
a list of generators for (I1)*(I2).