i1 : makeWA(QQ[x,y]) o1 = QQ[x..y, dx, dy] o1 : PolynomialRing, 2 differential variables |
i2 : f = x^2-y^3
3 2
o2 = - y + x
o2 : QQ[x..y, dx, dy]
|
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 QQ[x..y, dx, dy]
|
The input f should be an element of a Weyl algebra, and not an element of a commutative polynomial ring. However, f should only involve commutative variables.
The object PolyAnn is a method function.