next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Dmodules :: PolyAnn(RingElement)

PolyAnn(RingElement) -- annihilator of a polynomial in Weyl algebra

Synopsis

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