-- -*- M2-comint -*- hash: 7059589200982540287

i1 : makeWA(QQ[x,y])

o1 = QQ[x..y, dx, dy]

o1 : PolynomialRing, 2 differential variable(s)

i2 : f = x^2-y^3

        3    2
o2 = - y  + x

o2 : QQ[x..y, dx, dy]

i3 : I = polynomialAnnihilator 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 QQ[x..y, dx, dy]

i4 : 
