-- -*- M2-comint -*- hash: 14079417971299662336

i1 : R = QQ[x,y,z,w,r,s];

i2 : I = ideal(y*(z*s - x^2), y*w*r, w*r*(z^2 + z*x + w*r + s^2));

o2 : Ideal of R

i3 : isLexCompatiblyGVD(I, {x,y,z,w,r,s})

o3 = false

i4 : isLexCompatiblyGVD(I, {s,x,w,y,r,z}, Verbose=>true)
I = ideal(-x^2*y+y*z*s,y*w*r,x*z*w*r+z^2*w*r+w^2*r^2+w*r*s^2)
initial ideal = ideal(w*y*r,s*y*z,s^2*w*r)
I = ideal(w*y*r,s*y*z,s^2*w*r)
-- decomposing with respect to s
Warning: not a valid geometric vertex decomposition

o4 = false

i5 : 
