next | previous | forward | backward | up | top | index | toc | Macaulay2 website
GroebnerWalk :: groebnerWalk(...,Strategy=>...)

groebnerWalk(...,Strategy=>...) -- specify the algorithm for groebnerWalk

Synopsis

Description

Choose which algorithm to use for the Groebner walk. Options are Standard for the original algorithm of Collart, Kalkbrener, and Mall and Generic for the generic walk of Fukuda, Jensen, Lauritzen, and Thomas. The default option is Standard.

i1 : KK = ZZ/32003;
i2 : R1 = KK[x,y,z,u,v, MonomialOrder=>Eliminate 3];
i3 : I1 = ideal(3 - 2*u + 2*u^2 - 2*u^3 - v + u*v + 2*u^2*v^3 - x,
                6*u + 5*u^2 - u^3 + v + u*v + v^2 - y,
                -2 + 3*u - u*v + 2*u*v^2 - z);

o3 : Ideal of R1
i4 : R2 = KK[x,y,z,u,v, MonomialOrder=>Weights=>{0,0,0,1,1}];
i5 : groebnerWalk(I1, R2, Strategy=>Generic)

o5 = GroebnerBasis[status: done; S-pairs encountered up to degree 0]

o5 : GroebnerBasis

Further information

See also

Functions with optional argument named Strategy :