-- -*- M2-comint -*- {* hash: -943143099 *}

i1 : R = QQ[x,y]/(y^3-x^7)

o1 = R

o1 : QuotientRing

i2 : I = ideal(x^2,y^2)

             2   2
o2 = ideal (x , y )

o2 : Ideal of R

i3 : (F,G) = idealizer(I,x^2);

i4 : target F

                 QQ[w   , x, y]
                     0,0
o4 = -------------------------------------
               5       2    2   2      3
     (w   y - x , w   x  - y , w    - x y)
       0,0         0,0          0,0

o4 : QuotientRing

i5 : first entries G.matrix

       2
      y
o5 = {--, x, y}
       2
      x

o5 : List

i6 :