Returns the n1’th reflexive power of I1.
i1 : R = QQ[x,y,z]/ideal(x^2-y*z) o1 = R o1 : QuotientRing |
i2 : J = ideal(x,y) o2 = ideal (x, y) o2 : Ideal of R |
i3 : reflexivePower(5, J) 3 2 o3 = ideal (y , x*y ) o3 : Ideal of R |
i4 : reflexivePower(6, J) 3 o4 = ideal y o4 : Ideal of R |