-- -*- M2-comint -*- hash: 4493437236711785702

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)

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

o5 : GroebnerBasis

i6 : 
