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