an ideal, the annihilating (left) ideal of fin the Weyl algebra
Description
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
Caveat
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.
See also
RatAnn -- annihilator of a rational function in Weyl algebra