-- -*- M2-comint -*- hash: 7061240778062230247

i1 : makeWA(QQ[x,y])

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

o1 : PolynomialRing, 2 differential variable(s)

i2 : f = x^2+y

      2
o2 = x  + y

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

i3 : AnnFs f

o3 = ideal (2x*dy - dx, x*dx + 2y*dy - 2s)

o3 : Ideal of QQ[x..y, dx, dy, s]

i4 : 
