next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Divisor :: reflexivePower(..., Strategy => ...)

reflexivePower(..., Strategy => ...) -- an option for reflexive power

Synopsis

Description

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.0474372 seconds

o3 : Ideal of R
i4 : time J2 = reflexivePower(20, I, Strategy=>ModuleStrategy);
     -- used 0.233756 seconds

o4 : Ideal of R
i5 : J1 == J2

o5 = true

Further information

See also