-- -*- M2-comint -*- hash: 13616321646206833564

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

o1 = R

o1 : PolynomialRing

i2 : I=ideal(x^2+y^3)

            3    2
o2 = ideal(y  + x )

o2 : Ideal of R

i3 : IHmodule(I)

o3 = subquotient (| 0  0  |, | dz -x 0  y2 -2ydy-6 0            |)
                  | xy x2 |  | 0  y  dz x  -3ydx   -3xdx-2ydy-8 |

                                                                       2
o3 : QQ[x..z, dx, dy, dz]-module, subquotient of (QQ[x..z, dx, dy, dz])

i4 : R=QQ[x,y]

o4 = R

o4 : PolynomialRing

i5 : I=ideal(x^2+y^3)

            3    2
o5 = ideal(y  + x )

o5 : Ideal of R

i6 : IHmodule(I, LocStrategy=>CompleteIntersection)

o6 = subquotient (| x |, | 3xdx+2ydy+6 3y2dx-2xdy y3+x2 |)

                                                               1
o6 : QQ[x..y, dx, dy]-module, subquotient of (QQ[x..y, dx, dy])

i7 : 
