Go backward to
`desing/idealproduct`
Go up to
Procedures
Go forward to
`desing/intersect`
`desing/idealpower`
Computing a set of generators for the power of an ideal.
Input:
I
a list of polynomials (set of generators)
n
a natural number
Output:
a list of generators for (I1)^n.