-- -*- M2-comint -*- hash: 255641123338666178

i1 : R1 = QQ[x,y,z];

i2 : I1 = ideal(x^2 + 2*y^2 - y - 2*z, x^2 - 8*y^2 + 10*z - 1, x^2 - 7*y*z);

o2 : Ideal of R1

i3 : R2 = QQ[x,y,z, MonomialOrder => Lex];

i4 : fglm(I1, R2)

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

o4 : GroebnerBasis

i5 : 
