-- -*- M2-comint -*- hash: 16556661683459778913

i1 : R1 = QQ[x,y,z,u,v, MonomialOrder=>Weights=>{1,1,1,0,0}];

i2 : I1 = ideal(u + u^2 - 2*v - 2*u^2*v + 2*u*v^2 - x,
                -6*u + 2*v + v^2 - 5*v^3 + 2*u*v^2 - 4*u^2*v^2 - y,
                -2 + 2*u^2 + 6*v - 3*u^2*v^2 - z);

o2 : Ideal of R1

i3 : R2 = QQ[x,y,z,u,v, MonomialOrder=>Weights=>{0,0,0,1,1}];

i4 : I2 = sub(I1, R2);

o4 : Ideal of R2

i5 : elapsedTime gb I2
 -- 2.46003s elapsed

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

o5 : GroebnerBasis

i6 : elapsedTime groebnerWalk(gb I1, R2)
 -- 2.04563s elapsed

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

o6 : GroebnerBasis

i7 : 
