| LIB "normaliz.lib";
setNmzFilename("binomials");
ring S = 37,(u,v,w,x,y,z),dp;
ideal I = u2-v2, x2-y2, y2-vw, z2-xy;
groebnerBasis(I);
==> _[1]=xy-z2
==> _[2]=x2-y2
==> _[3]=vw-y2
==> _[4]=u2-v2
==> _[5]=y3-xz2
setNmzOption("lex",1);
==> 1
groebnerBasis(I);
==> _[1]=y4-z4
==> _[2]=-y3+xz2
==> _[3]=xy-z2
==> _[4]=x2-y2
==> _[5]=vw-y2
==> _[6]=u2-v2
setNmzOption("lex",0);
==> 1
|