-- -*- M2-comint -*- hash: 4912245075737839299

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : I = ideal(x-y, x-z)

o2 = ideal (x - y, x - z)

o2 : Ideal of R

i3 : findOneStepGVD I

o3 = {x, y, z}

o3 : List

i4 : R = QQ[a..f]

o4 = R

o4 : PolynomialRing

i5 : I = ideal(b*(c*f - a^2), b*d*e, d*e*(c^2+a*c+d*e+f^2))

               2                             2       2 2        2
o5 = ideal (- a b + b*c*f, b*d*e, a*c*d*e + c d*e + d e  + d*e*f )

o5 : Ideal of R

i6 : findOneStepGVD I

o6 = {b}

o6 : List

i7 : 
