If I is generated by (x1, ..., xk) then idealPower(n, I) is the ideal generated by (x1n, ..., xkn). This is relevant because idealPower(n, I) and In have the same reflexification, but idealPower(n, I) can be much faster to compute with since it has fewer generators typically.
i1 : R = QQ[x, y, u, v] / ideal(x * y - u * v) o1 = R o1 : QuotientRing |
i2 : I = ideal(x, u) o2 = ideal (x, u) o2 : Ideal of R |
i3 : idealPower(5, I) 5 5 o3 = ideal (x , u ) o3 : Ideal of R |
i4 : I^5 5 4 3 2 2 3 4 5 o4 = ideal (x , x u, x u , x u , x*u , u ) o4 : Ideal of R |