-
-
AnnFs -- the annihilating ideal of f^s
annFS -- a key created by Dlocalize
AnnFs(List) -- the annihilating ideal of f_1^{s_1}...f_r^{s_r}
-
AnnG -- a key created by makeCyclic
-
-
BasisElts -- a key of the hashtable generated by diffOps
BFunction -- a key in the hashtable created by Drestriction/Dintegration
-
-
-
-
-
-
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
-
charIdeal -- characteristic ideal of a D-module
-
-
cssExpts -- the exponents of the canonical series solutions of I in the direction of a weight vector
cssExptsMult -- the exponents (and multiplicities) of the canonical series solutions of I in the direction of a weight vector
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
-
-
-
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*
-
-
-
-
-
-
-
Dlocalization -- Dlocalization* is an OBSOLETE name for Dlocalize*
-
-
DlocalizeAll -- localization of a D-module (extended version)
DlocalizeMap -- localization map from a D-module to its localization
-
-
Dprune -- prunes a matrix over a Weyl algebra
-
Dres -- abbreviation for Dresolution
-
-
-
Drestrict -- an (OBSOLETE) abbreviation for Drestriction
-
-
-
-
-
Dtrace(ZZ) -- set the depth of comments made by D-module routines
-
Duality -- an option for PolySols=>Alg
eulerOperators (missing documentation)
Explicit -- a key in the hashtable created by Drestriction/Dintegration
Exponents -- a key in the hashtable created by Drestriction/Dintegration
-
-
-
extractVarsAlgebra -- underlying polynomial ring in the ordinary variables of a Weyl algebra
-
Fourier -- Fourier transform for Weyl algebra
-
gbw -- Groebner bases w.r.t. a weight
GD -- an option for PolySols=>Alg
GenCycles -- a key in the hashtable created by Drestriction/Dintegration
-
-
-
-
-
-
-
getDtrace -- (internal) -- get the INFOLEVEL switch
-
-
gkz -- The A-hypergeometric systems of Gelfand, Kapranov and Zelevinsky (GKZ)
-
-
-
-
-
-
-
-
-
-
-
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
-
isTorusFixed -- checks if an ideal in a Weyl algebra is torus-fixed
-
kappaAnnF1PlanarCurve (missing documentation)
kDiffFs (missing documentation)
kOrderAnnFa (missing documentation)
kOrderAnnFs (missing documentation)
-
lct(Ideal) -- compute the log canonical threshold for an ideal
-
-
-
-
-
-
-
-
-
-
LocalizeMap -- a key in the hashtable created by deRham
LocMap -- a key created by Dlocalize
-
-
-
makeCyclic -- finds a cyclic generator of a D-module
-
-
None -- an option for DExt=>Special
-
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
-
-
-
pInfo -- prints tracing info
PolyAnn -- annihilator of a polynomial in the 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
-
-
PreCycles -- a key in the hashtable created by deRham
projMap1 -- a key attached by ExternalProduct
projMap2 -- a key attached by ExternalProduct
-
-
-
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
reiffen (missing documentation)
Schreyer -- strategy for computing a resolution of a D-module
-
-
-
-
stafford -- computes 2 generators for a given ideal in the Weyl algebra
thetaIdeal -- the image in the thetaRing of a torus-fixed ideal in a Weyl algebra
toricIdealPartials (missing documentation)
-
-
-
TwistMap -- indicates whether TwistMap should be computed
twistMap -- a key attached by ExternalProduct
-
Vhomogenize -- strategy for computing a resolution of a D-module
ViaAnnFs -- a strategy option for global b-functions
-
ViaColonIdeal (missing documentation)
ViaElimination (missing documentation)
-
VResolution -- a key in the hashtable created by Drestriction/Dintegration
Walther -- an option for localCohom=>Strategy
-