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.