Symbol Index
- Alg
- AnnFs -- the annihilating ideal of f^s
- annFS -- a key created by Dlocalize
- AnnG -- a key created by makeCyclic
- AnnIFs -- the annihilating ideal of f^s for an arbitrary D-module
- AppellF1 -- Appell F1 system of PDE's
- BasisElts -- a key of the hashtable generated by diffOps
- BFunction -- a key in the hashtable created by Drestriction/Dintegration
- Bfunction -- a key created by Dlocalize
- bFunction -- b-function
- bFunctionRoots -- get roots of a b-function
- BMM -- the characteristic cycle of the localized $D$-module
- Boperator -- a key attached by globalB and Dlocalize
- Boundaries -- a key in the hashtable created by Drestriction/Dintegration
- Bpolynomial -- a key attached by globalB
- charIdeal -- characteristic ideal of a D-module
- CohomologyGroups -- a key in the hashtable created by deRham
- createDpairs -- pairs up the variables in Weyl algebra
- Cycles -- a key in the hashtable created by Drestriction/Dintegration
- Ddim -- dimension of a D-module
- Ddual -- holonomic dual of a D-module
- deRham -- deRham cohomology groups for the complement of a hypersurface
- deRhamAll -- deRham complex for the complement of a hypersurface
- DExt -- Ext groups between holonomic modules
- DHom -- D-homomorphisms between holonomic D-modules
- diffOps -- differential operators of up to the given order for a quotient polynomial ring
- Dintegrate -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateAll -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateClasses -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateComplex -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateIdeal -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- Dintegration -- integration modules of a D-module
- DintegrationAll -- integration modules of a D-module (extended version)
- DintegrationClasses -- integration classes of a D-module
- DintegrationComplex -- derived integration complex of a D-module
- DintegrationIdeal -- integration ideal of a D-module
- Dlocalization -- Dlocalization* is an OBSOLETE name for Dlocalize*
- DlocalizationAll -- Dlocalization* is an OBSOLETE name for Dlocalize*
- DlocalizationMap -- Dlocalization* is an OBSOLETE name for Dlocalize*
- Dlocalize -- localization of a D-module
- DlocalizeAll -- localization of a D-module (extended version)
- DlocalizeMap -- localization map from a D-module to its localization
- Dmodules -- algorithms for D-modules
- dpairInds -- a key attached by createDpairs
- dpairVars -- a key attached by createDpairs
- Dprune -- prunes a matrix over a Weyl algebra
- Drank -- an old name of holonomicRank
- Dres -- abbreviation for Dresolution
- Dresolution -- resolution of a D-module
- Drestrict -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictAll -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictClasses -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictComplex -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictIdeal -- an (OBSOLETE) abbreviation for Drestriction
- Drestriction -- restriction modules of a D-module
- DrestrictionAll -- restriction modules of a D-module (extended version)
- DrestrictionClasses -- restriction classes of a D-module
- DrestrictionComplex -- derived restriction complex of a D-module
- DrestrictionIdeal -- restriction ideal of a D-module
- Dtrace -- set the depth of comments made by D-module routines
- Dtransposition -- standard transposition for Weyl algebra
- Duality -- an option for PolySols=>Alg
- Explicit -- a key in the hashtable created by Drestriction/Dintegration
- Exponent -- specify exponent m for m-generalized Bernstein-Sato polynomial
- Exponents -- a key in the hashtable created by Drestriction/Dintegration
- ExternalProduct -- external product of modules or complexes
- factorBFunction -- factorization of a b-function
- Fourier -- Fourier transform for Weyl algebra
- FourierInverse -- Inverse Fourier map (D-modules)
- gbw -- Groebner basis w.r.t. a weight
- GD -- an option for PolySols=>Alg
- GenCycles -- a key in the hashtable created by Drestriction/Dintegration
- generalB -- global generalized Bernstein-Sato polynomial
- GeneralBernsteinSato -- a strategy option for lct, globalBFunction
- generalizedBFunction -- multiplier ideal membership test
- Generator -- a key created by makeCyclic
- GeneratorPower -- a key created by Dlocalize
- getDtrace -- (internal) -- get the INFOLEVEL switch
- getHomSwitch -- (internal) -- get the HOMOGENIZATION switch
- getIntRoots -- get integer roots of a b-function
- gkz -- GKZ A-hypergeometric ideal
- globalB -- compute global b-function and b-operator for a D-module and a polynomial
- globalBFunction -- global b-function (else known as the Bernstein-Sato polynomial)
- globalBoperator -- compute a b-operator of a polynomial
- GroundField
- hasRationalSing -- check if a complete intersection has at most rational singularities
- holonomicRank -- rank of a D-module
- HomologyModules -- a key in a hashtable; an option of DExt
- Info
- InitialIdeal -- specify strategy for computing generalized Bernstein-Sato polynomial
- IntegrateBfunction -- a key created by Dlocalize
- IntegrateComplex -- a key in the hashtable created by Dintegration
- IntRing -- a strategy option for b-functions
- inw -- initial form/ideal w.r.t. a weight
- isHolonomic -- determines whether a D-module (or ideal in Weyl algebra) is holonomic
- isInMultiplierIdeal -- multiplier ideal membership test
- jumpingCoefficients -- jumping coefficients and corresponding multiplier ideals
- lct -- compute the log canonical threshold for an ideal
- localBFunction -- local b-function (a.k.a. the local Bernstein-Sato polynomial)
- localCohom -- local cohomology
- LocalizeMap -- a key in the hashtable created by deRham
- LocMap -- a key created by Dlocalize
- LocModule -- a key created by Dlocalize
- LocStrategy
- logCohomology -- logarithmic cohomology groups in two variables
- makeCyclic -- finds a cyclic generator of a D-module
- makeWeylAlgebra -- Weyl algebra corresponding to a polynomial ring
- mGeneralizedBFunction -- multiplier ideal membership test
- multiplierIdeal -- multiplier ideal
- None -- an option for DExt=>Special
- NonGeneric -- a strategy option for b-functions
- Oaku -- an option for Dlocalize=>Strategy
- OaTa -- an option for localCohom=>Strategy
- OaTaWa -- an option for localCohom => LocStrategy
- OmegaRes -- a key in the hashtable created by deRham
- optGB -- indicates whether Grobner basis should be computed
- OTW -- an option for Dlocalize=>Strategy
- Output
- paramBpoly -- compute the list of all possible Bernstein-Sato polynomials for a polynomial with parametric coefficients
- pInfo -- prints tracing info
- PolyAnn -- annihilator of a polynomial in Weyl algebra
- PolyExt -- Ext groups between a holonomic module and a polynomial ring
- PolyGens -- a key of the hashtable generated by diffOps
- PolySols -- polynomial solutions of a holonomic system
- populateCechComplexCC -- Cech complex skeleton for the computation of the characteristic cycles of local cohomology modules
- PreCycles -- a key in the hashtable created by deRham
- projMap1 -- a key attached by ExternalProduct
- projMap2 -- a key attached by ExternalProduct
- pruneCechComplexCC -- reduction of the Cech complex that produces characteristic cycles of local cohomology modules
- pruneLocalCohom -- prunes local cohomology modules
- putWeylAlgebra -- transforms output of diffOps into elements of Weyl algebra
- RatAnn -- annihilator of a rational function in Weyl algebra
- RatExt -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatSols -- rational solutions of a holonomic system
- ReducedB -- a strategy option for global b-functions
- Schreyer -- strategy for computing a resolution of a D-module
- setHomSwitch -- toggles the use of homogeneous Weyl algebra
- SetVariables -- name for an optional argument
- singLocus -- singular locus of a D-module
- Special
- stafford -- computes 2 generators for a given ideal in the Weyl algebra
- StarIdeal -- specify strategy for computing generalized Bernstein-Sato polynomial
- TransferCycles -- a key in the hashtable created by deRham
- TryGeneric -- a strategy option for b-functions
- twistInvMap -- a key attached by ExternalProduct
- TwistMap -- indicates whether TwistMap should be computed
- twistMap -- a key attached by ExternalProduct
- Vars
- Vhomogenize -- strategy for computing a resolution of a D-module
- ViaAnnFs -- a strategy option for global b-functions
- ViaBFunction -- a strategy option for lct
- ViaColonIdeal (missing documentation)
- ViaElimination (missing documentation)
- ViaLinearAlgebra -- an option for generalB=>Strategy
- VResolution -- a key in the hashtable created by Drestriction/Dintegration
- Walther -- an option for localCohom=>Strategy
- WeylClosure -- Weyl closure of an ideal