-- -*- M2-comint -*- hash: 14359312039830221442

i1 : OSigma = QQ[x, Degrees=>{2}];

i2 : OY = QQ[y,z,x, Degrees=>{2,3,2}]/(z^2-(y-x)*y^2);

i3 : phi = map(OY,OSigma, {x})

o3 = map (OY, OSigma, {x})

o3 : RingMap OY <-- OSigma

i4 : use OSigma

o4 = OSigma

o4 : PolynomialRing

i5 : OX = trim (OY/phi(ideal x))

o5 = OX

o5 : QuotientRing

i6 : (OS,M) = deformMCMModule(module ideal (y,z),phi)

o6 = (OS, cokernel {2} | z+xi_1  y2-yx-yxi_2+xxi_2+xi_2^2 |)
                   {3} | -y-xi_2 -z+xi_1                  |

o6 : Sequence

i7 : prune OS

      QQ[x, xi ..xi ]
              1    2
o7 = -----------------
       2       2     3
     xi  + x*xi  + xi
       1       2     2

o7 : QuotientRing

i8 : 
