This passes the Strategy option to a reflexify call. Valid options are IdealStrategy and ModuleStrategy.
i1 : R = QQ[x,y,z]/ideal(-y^2*z +x^3 + x^2*z + x*z^2+z^3); |
i2 : I = ideal(x-z,y-2*z); o2 : Ideal of R |
i3 : time J1 = reflexivePower(20, I, Strategy=>IdealStrategy); -- used 0.0388133 seconds o3 : Ideal of R |
i4 : time J2 = reflexivePower(20, I, Strategy=>ModuleStrategy); -- used 0.2267 seconds o4 : Ideal of R |
i5 : J1 == J2 o5 = true |