This documentation describes version 1.3 of Dmodules.
Source code
The source code from which this documentation is derived is in the file Dmodules.m2. The auxiliary files accompanying it are in the directory Dmodules/.
paramBpoly, see paramBpoly(RingElement,String) -- compute the list of all possible Bernstein-Sato polynomials for a polynomial with parametric coefficients
PolyAnn, see PolyAnn(RingElement) -- annihilator of a polynomial in Weyl algebra
PolyExt -- Ext groups between a holonomic module and a polynomial ring
PolySols -- polynomial solutions of a holonomic system
populateCechComplexCC, see populateCechComplexCC(Ideal,List) -- Cech complex skeleton for the computation of the characteristic cycles of local cohomology modules
pruneCechComplexCC, see pruneCechComplexCC(MutableHashTable) -- reduction of the Cech complex that produces characteristic cycles of local cohomology modules