# PolyAnn -- annihilator of a polynomial in the Weyl algebra

## Synopsis

• Usage:
PolyAnn f
• Inputs:
• f, , polynomial
• Outputs:
• an ideal, the annihilating (left) ideal of f in the Weyl algebra

## Description

 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]

## 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.