-- -*- M2-comint -*- hash: 2313282714856363486

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

o1 = R

o1 : PolynomialRing

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

               2                             2       2 2        2
o2 = ideal (- x y + y*z*s, y*w*r, x*z*w*r + z w*r + w r  + w*r*s )

o2 : Ideal of R

i3 : initialYForms(I, y)

                       2       2 2        2          2
o3 = ideal (x*z*w*r + z w*r + w r  + w*r*s , y*w*r, x y - y*z*s)

o3 : Ideal of R

i4 : 
     
