polynomialAnnihilator -- annihilator of a polynomial in the Weyl algebra

• Usage:

  polynomialAnnihilator f

• Inputs:
  • f, a ring element, polynomial
• Outputs:
  • an ideal, the annihilating (left) ideal of f in the Weyl algebra

i1 : makeWA(QQ[x,y])

o1 = QQ[x..y, dx, dy]

o1 : PolynomialRing, 2 differential variable(s)

i2 : f = x^2-y^3

        3    2
o2 = - y  + x

o2 : QQ[x..y, dx, dy]

i3 : I = polynomialAnnihilator 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]