Macaulay2 » Documentation
Packages » BernsteinSato :: AnnIFs(Ideal,RingElement)
next | previous | forward | backward | up | index | toc

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, 1 differential variable(s)
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

Ways to use this method: