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

AnnIFs(Ideal,RingElement) -- the annihilating ideal of f^s for an arbitrary D-module



i1 : W = QQ[x,dx, WeylAlgebra=>{x=>dx}]

o1 = W

o1 : PolynomialRing
i2 : AnnIFs (ideal dx, x^2)

o2 = ideal(x*dx - 2s)

o2 : Ideal of QQ[x, dx, s]


Caveats and known problems: The ring of f should not have any parameters: it should be a pure Weyl algebra. Similarly, this ring should not be a homogeneous Weyl algebra.

See also