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

i1 : W = QQ[x,y,Dx,Dy, WeylAlgebra => {x=>Dx, y=>Dy}]

o1 = W

o1 : PolynomialRing

i2 : f = x^2-y^3

        3    2
o2 = - y  + x

o2 : W

i3 : I = PolyAnn f

               3      2            3      2       2    4    4
o3 = ideal (- y Dx + x Dx - 2x, - y Dy + x Dy + 3y , Dx , Dy )

o3 : Ideal of W

i4 :