Dmodules : Index
- Alg
- 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}
- AnnFs(RingElement) -- the annihilating ideal of f^s
- AnnG -- a key created by makeCyclic
- AnnIFs -- the annihilating ideal of f^s for an arbitrary D-module
- AnnIFs(Ideal,RingElement) -- the annihilating ideal of f^s for an arbitrary D-module
- AppellF1 -- Appell F1 system of PDE's
- AppellF1(..., Vars => ...)
- AppellF1(List) -- 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
- bFunction(..., Strategy => ...) -- specify strategy for computing b-function
- bFunction(Ideal,List) -- b-function of an ideal
- bFunction(Module,List,List) -- b-function of a holonomic D-module
- bFunctionRoots -- get roots of a b-function
- bFunctionRoots(RingElement) -- get roots of a b-function
- BMM -- the characteristic cycle of the localized $D$-module
- BMM(Ideal,RingElement) -- the characteristic cycle of the localized $D$-module
- BMM(List,RingElement) -- 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
- charIdeal(Ideal) -- characteristic ideal of a D-module
- charIdeal(Module) -- characteristic ideal of a D-module
- CohomologyGroups -- a key in the hashtable created by deRham
- createDpairs -- pairs up the variables in Weyl algebra
- createDpairs(PolynomialRing) -- pairs up the variables in Weyl algebra
- Cycles -- a key in the hashtable created by Drestriction/Dintegration
- Ddim -- dimension of a D-module
- Ddim(Ideal) -- dimension of a D-module
- Ddim(Module) -- dimension of a D-module
- Ddual -- holonomic dual of a D-module
- Ddual(Ideal) -- holonomic dual of a D-module
- Ddual(Module) -- holonomic dual of a D-module
- deRham -- deRham cohomology groups for the complement of a hypersurface
- deRham(..., Strategy => ...)
- deRham(RingElement) -- deRham cohomology groups for the complement of a hypersurface
- deRham(ZZ,RingElement) -- deRham cohomology groups for the complement of a hypersurface
- deRhamAll -- deRham complex for the complement of a hypersurface
- deRhamAll(..., Strategy => ...)
- deRhamAll(RingElement) -- deRham complex for the complement of a hypersurface
- DExt -- Ext groups between holonomic modules
- DExt(..., Info => ...)
- DExt(..., Output => ...)
- DExt(..., Special => ...)
- DExt(..., Strategy => ...)
- DExt(Module,Module) -- Ext groups between holonomic modules
- DExt(Module,Module,List) -- Ext groups between holonomic modules
- DHom -- D-homomorphisms between holonomic D-modules
- DHom(..., Strategy => ...)
- DHom(Ideal,Ideal) -- D-homomorphisms between holonomic D-modules
- DHom(Module,Module) -- D-homomorphisms between holonomic D-modules
- DHom(Module,Module,List) -- D-homomorphisms between holonomic D-modules
- diffOps -- differential operators of up to the given order for a quotient polynomial ring
- diffOps(Ideal,ZZ) -- differential operators of up to the given order for a quotient polynomial ring
- diffOps(RingElement,ZZ) -- differential operators of up to the given order for a quotient polynomial ring
- Dintegrate -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- Dintegrate(..., Strategy => ...)
- Dintegrate(Ideal,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- Dintegrate(Module,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- Dintegrate(ZZ,Ideal,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- Dintegrate(ZZ,Module,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateAll -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateAll(Ideal,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateAll(Module,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateClasses -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateClasses(Ideal,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateClasses(Module,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateClasses(ZZ,Ideal,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateClasses(ZZ,Module,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateComplex -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateComplex(Ideal,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateComplex(Module,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateIdeal -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- DintegrateIdeal(Ideal,List) -- Dintegrate* is an (OBSOLETE) abbreviation for Dintegration*
- Dintegration -- integration modules of a D-module
- Dintegration(..., Strategy => ...)
- Dintegration(Ideal,List) -- integration modules of a D-module
- Dintegration(Module,List) -- integration modules of a D-module
- Dintegration(ZZ,Ideal,List) -- integration modules of a D-module
- Dintegration(ZZ,Module,List) -- integration modules of a D-module
- DintegrationAll -- integration modules of a D-module (extended version)
- DintegrationAll(..., Strategy => ...)
- DintegrationAll(Ideal,List) -- integration modules of a D-module (extended version)
- DintegrationAll(Module,List) -- integration modules of a D-module (extended version)
- DintegrationClasses -- integration classes of a D-module
- DintegrationClasses(..., Strategy => ...)
- DintegrationClasses(Ideal,List) -- integration classes of a D-module
- DintegrationClasses(Module,List) -- integration classes of a D-module
- DintegrationClasses(ZZ,Ideal,List) -- integration classes of a D-module
- DintegrationClasses(ZZ,Module,List) -- integration classes of a D-module
- DintegrationComplex -- derived integration complex of a D-module
- DintegrationComplex(..., Strategy => ...)
- DintegrationComplex(Ideal,List) -- derived integration complex of a D-module
- DintegrationComplex(Module,List) -- derived integration complex of a D-module
- DintegrationIdeal -- integration ideal of a D-module
- DintegrationIdeal(..., Strategy => ...)
- DintegrationIdeal(Ideal,List) -- integration ideal of a D-module
- Dlocalization -- Dlocalization* is an OBSOLETE name for Dlocalize*
- Dlocalization(..., Strategy => ...) -- strategy for computing a localization of a D-module
- Dlocalization(Ideal,RingElement) -- Dlocalization* is an OBSOLETE name for Dlocalize*
- Dlocalization(Module,RingElement) -- Dlocalization* is an OBSOLETE name for Dlocalize*
- DlocalizationAll -- Dlocalization* is an OBSOLETE name for Dlocalize*
- DlocalizationAll(Ideal,RingElement) -- Dlocalization* is an OBSOLETE name for Dlocalize*
- DlocalizationAll(Module,RingElement) -- Dlocalization* is an OBSOLETE name for Dlocalize*
- DlocalizationMap -- Dlocalization* is an OBSOLETE name for Dlocalize*
- DlocalizationMap(Ideal,RingElement) -- Dlocalization* is an OBSOLETE name for Dlocalize*
- DlocalizationMap(Module,RingElement) -- Dlocalization* is an OBSOLETE name for Dlocalize*
- Dlocalize -- localization of a D-module
- Dlocalize(..., Strategy => ...) -- strategy for computing a localization of a D-module
- Dlocalize(Ideal,RingElement) -- localization of a D-module
- Dlocalize(Module,RingElement) -- localization of a D-module
- DlocalizeAll -- localization of a D-module (extended version)
- DlocalizeAll(..., Strategy => ...) -- strategy for computing a localization of a D-module
- DlocalizeAll(Ideal,RingElement) -- localization of a D-module (extended version)
- DlocalizeAll(Module,RingElement) -- localization of a D-module (extended version)
- DlocalizeMap -- localization map from a D-module to its localization
- DlocalizeMap(..., Strategy => ...) -- strategy for computing a localization of a D-module
- DlocalizeMap(Ideal,RingElement) -- localization map from a D-module to its localization
- DlocalizeMap(Module,RingElement) -- 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
- Dprune(..., optGB => ...) -- indicates whether Grobner basis should be computed
- Dprune(Matrix) -- prunes a matrix over a Weyl algebra
- Dprune(Module) -- prunes a matrix over a Weyl algebra
- Drank -- an old name of holonomicRank
- Drank(Ideal) -- an old name of holonomicRank
- Drank(Module) -- an old name of holonomicRank
- Dres -- abbreviation for Dresolution
- Dres(..., LengthLimit => ...) -- the limit for the length of a resolution of a D-module
- Dres(..., Strategy => ...) -- strategy for computing a resolution of a D-module
- Dres(Ideal) -- abbreviation for Dresolution
- Dres(Ideal,List) -- abbreviation for Dresolution
- Dres(Module) -- abbreviation for Dresolution
- Dres(Module,List) -- abbreviation for Dresolution
- Dresolution -- resolution of a D-module
- Dresolution(..., LengthLimit => ...) -- the limit for the length of a resolution of a D-module
- Dresolution(..., Strategy => ...) -- strategy for computing a resolution of a D-module
- Dresolution(Ideal) -- resolution of a D-module
- Dresolution(Ideal,List) -- resolution of a D-module
- Dresolution(Module) -- resolution of a D-module
- Dresolution(Module,List) -- resolution of a D-module
- Drestrict -- an (OBSOLETE) abbreviation for Drestriction
- Drestrict(..., Strategy => ...)
- Drestrict(Ideal,List) -- an (OBSOLETE) abbreviation for Drestriction
- Drestrict(Module,List) -- an (OBSOLETE) abbreviation for Drestriction
- Drestrict(ZZ,Ideal,List) -- an (OBSOLETE) abbreviation for Drestriction
- Drestrict(ZZ,Module,List) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictAll -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictAll(Ideal,List) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictAll(Module,List) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictClasses -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictClasses(Ideal,List) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictClasses(Ideal,List,ZZ) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictClasses(Module,List) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictClasses(Module,List,ZZ) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictComplex -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictComplex(Ideal,List) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictComplex(Ideal,List,ZZ) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictComplex(Module,List) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictComplex(Module,List,ZZ) -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictIdeal -- an (OBSOLETE) abbreviation for Drestriction
- DrestrictIdeal(Ideal,List) -- an (OBSOLETE) abbreviation for Drestriction
- Drestriction -- restriction modules of a D-module
- Drestriction(..., Strategy => ...)
- Drestriction(Ideal,List) -- restriction modules of a D-module
- Drestriction(Module,List) -- restriction modules of a D-module
- Drestriction(ZZ,Ideal,List) -- restriction modules of a D-module
- Drestriction(ZZ,Module,List) -- restriction modules of a D-module
- DrestrictionAll -- restriction modules of a D-module (extended version)
- DrestrictionAll(..., Strategy => ...)
- DrestrictionAll(Ideal,List) -- restriction modules of a D-module (extended version)
- DrestrictionAll(Module,List) -- restriction modules of a D-module (extended version)
- DrestrictionClasses -- restriction classes of a D-module
- DrestrictionClasses(..., Strategy => ...)
- DrestrictionClasses(Ideal,List) -- restriction classes of a D-module
- DrestrictionClasses(Module,List) -- restriction classes of a D-module
- DrestrictionClasses(ZZ,Ideal,List) -- restriction classes of a D-module
- DrestrictionClasses(ZZ,Module,List) -- restriction classes of a D-module
- DrestrictionComplex -- derived restriction complex of a D-module
- DrestrictionComplex(..., Strategy => ...)
- DrestrictionComplex(Ideal,List) -- derived restriction complex of a D-module
- DrestrictionComplex(Module,List) -- derived restriction complex of a D-module
- DrestrictionIdeal -- restriction ideal of a D-module
- DrestrictionIdeal(..., Strategy => ...)
- DrestrictionIdeal(Ideal,List) -- restriction ideal of a D-module
- Dtrace -- set the depth of comments made by D-module routines
- Dtrace(ZZ) -- set the depth of comments made by D-module routines
- Dtransposition -- standard transposition for Weyl algebra
- Dtransposition(ChainComplex) -- standard transposition for Weyl algebra
- Dtransposition(Ideal) -- standard transposition for Weyl algebra
- Dtransposition(Matrix) -- standard transposition for Weyl algebra
- Dtransposition(RingElement) -- 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
- ExternalProduct(..., TwistMap => ...) -- indicates whether TwistMap should be computed
- ExternalProduct(ChainComplex,ChainComplex) -- external product of modules or complexes
- ExternalProduct(Module,Module) -- external product of modules or complexes
- factorBFunction -- factorization of a b-function
- factorBFunction(RingElement) -- factorization of a b-function
- Fourier -- Fourier transform for Weyl algebra
- Fourier(Ideal) -- Fourier transform for Weyl algebra
- Fourier(Matrix) -- Fourier transform for Weyl algebra
- Fourier(RingElement) -- Fourier transform for Weyl algebra
- FourierInverse -- Inverse Fourier map (D-modules)
- FourierInverse(ChainComplex) -- Inverse Fourier map (D-modules)
- FourierInverse(Ideal) -- Inverse Fourier map (D-modules)
- FourierInverse(Matrix) -- Inverse Fourier map (D-modules)
- FourierInverse(Module) -- Inverse Fourier map (D-modules)
- FourierInverse(RingElement) -- Inverse Fourier map (D-modules)
- gbw -- Groebner basis w.r.t. a weight
- gbw(Ideal,List) -- Groebner basis w.r.t. a weight
- gbw(Matrix,List) -- 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
- generalB(..., Exponent => ...) -- specify exponent m for m-generalized Bernstein-Sato polynomial
- generalB(..., Strategy => ...) -- specify strategy for computing generalized Bernstein-Sato polynomial
- generalB(List) -- global generalized Bernstein-Sato polynomial
- generalB(List,RingElement) -- 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
- getIntRoots(RingElement) -- get integer roots of a b-function
- gkz -- GKZ A-hypergeometric ideal
- gkz(..., Vars => ...)
- gkz(Matrix,List) -- GKZ A-hypergeometric ideal
- globalB -- compute global b-function and b-operator for a D-module and a polynomial
- globalB(Ideal,RingElement) -- 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)
- globalBFunction(..., Strategy => ...) -- specify strategy for computing global b-function
- globalBFunction(RingElement) -- global b-function (else known as the Bernstein-Sato polynomial)
- globalBoperator -- compute a b-operator of a polynomial
- globalBoperator(RingElement) -- compute a b-operator of a polynomial
- GroundField
- hasRationalSing -- check if a complete intersection has at most rational singularities
- hasRationalSing(List) -- check if a complete intersection has at most rational singularities
- holonomicRank -- rank of a D-module
- holonomicRank(Ideal) -- rank of a D-module
- holonomicRank(Module) -- 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
- inw(Ideal,List) -- initial form/ideal w.r.t. a weight
- inw(Matrix,List) -- initial form/ideal w.r.t. a weight
- inw(RingElement,List) -- initial form/ideal w.r.t. a weight
- isHolonomic -- determines whether a D-module (or ideal in Weyl algebra) is holonomic
- isHolonomic(Ideal) -- determines whether a D-module (or ideal in Weyl algebra) is holonomic
- isHolonomic(Module) -- determines whether a D-module (or ideal in Weyl algebra) is holonomic
- isInMultiplierIdeal -- multiplier ideal membership test
- isInMultiplierIdeal(..., Strategy => ...) -- multiplier ideal membership test
- isInMultiplierIdeal(RingElement,Ideal,QQ) -- multiplier ideal membership test
- jumpingCoefficients -- jumping coefficients and corresponding multiplier ideals
- jumpingCoefficients(..., DegreeLimit => ...) -- multiplier ideal
- jumpingCoefficients(..., Strategy => ...) -- multiplier ideal
- jumpingCoefficients(Ideal) -- jumping coefficients and corresponding multiplier ideals
- jumpingCoefficients(Ideal,QQ,QQ) -- jumping coefficients and corresponding multiplier ideals
- jumpingCoefficients(Ideal,QQ,ZZ) -- jumping coefficients and corresponding multiplier ideals
- jumpingCoefficients(Ideal,ZZ,QQ) -- jumping coefficients and corresponding multiplier ideals
- jumpingCoefficients(Ideal,ZZ,ZZ) -- jumping coefficients and corresponding multiplier ideals
- kappaAnnF1PlanarCurve (missing documentation)
- kDiffFs (missing documentation)
- kOrderAnnFa (missing documentation)
- kOrderAnnFs (missing documentation)
- lct -- compute the log canonical threshold for an ideal
- lct(..., Strategy => ...) -- specify strategy for computing lct
- lct(Ideal) -- compute the log canonical threshold for an ideal
- localBFunction -- local b-function (a.k.a. the local Bernstein-Sato polynomial)
- localBFunction(RingElement,Ideal) -- local b-function (a.k.a. the local Bernstein-Sato polynomial)
- localCohom -- local cohomology
- localCohom(..., LocStrategy => ...) -- specify localization strategy for local cohomology
- localCohom(..., Strategy => ...) -- specify strategy for local cohomology
- localCohom(Ideal) -- local cohomology of a polynomial ring
- localCohom(Ideal,Module) -- local cohomology of a D-module
- localCohom(List,Ideal) -- local cohomology of a polynomial ring
- localCohom(List,Ideal,Module) -- local cohomology of a D-module
- localCohom(ZZ,Ideal) -- local cohomology of a polynomial ring
- localCohom(ZZ,Ideal,Module) -- local cohomology of a D-module
- 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
- logCohomology(RingElement) -- logarithmic cohomology groups in two variables
- makeCyclic -- finds a cyclic generator of a D-module
- makeCyclic(Matrix) -- finds a cyclic generator of a D-module
- makeWeylAlgebra -- Weyl algebra corresponding to a polynomial ring
- makeWeylAlgebra(..., SetVariables => ...) -- Weyl algebra corresponding to a polynomial ring
- makeWeylAlgebra(PolynomialRing) -- Weyl algebra corresponding to a polynomial ring
- mGeneralizedBFunction -- multiplier ideal membership test
- multiplierIdeal -- multiplier ideal
- multiplierIdeal(..., DegreeLimit => ...) -- multiplier ideal
- multiplierIdeal(..., Strategy => ...) -- multiplier ideal
- multiplierIdeal(Ideal,List) -- multiplier ideal
- multiplierIdeal(Ideal,QQ) -- multiplier ideal
- multiplierIdeal(Ideal,ZZ) -- 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
- paramBpoly(..., GroundField => ...) -- characteristic for modular computation
- paramBpoly(RingElement,String) -- compute the list of all possible Bernstein-Sato polynomials for a polynomial with parametric coefficients
- pInfo -- prints tracing info
- pInfo(ZZ,List) -- prints tracing info
- pInfo(ZZ,Thing) -- prints tracing info
- PolyAnn -- annihilator of a polynomial in Weyl algebra
- PolyAnn(RingElement) -- annihilator of a polynomial in Weyl algebra
- PolyExt -- Ext groups between a holonomic module and a polynomial ring
- PolyExt(..., Strategy => ...)
- PolyExt(Ideal) -- Ext groups between a holonomic module and a polynomial ring
- PolyExt(Module) -- Ext groups between a holonomic module and a polynomial ring
- PolyExt(ZZ,Ideal) -- Ext groups between a holonomic module and a polynomial ring
- PolyExt(ZZ,Module) -- 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
- PolySols(..., Alg => ...) -- algorithm for finding polynomial solutions
- PolySols(Ideal) -- polynomial solutions of a holonomic system
- PolySols(Ideal,List) -- polynomial solutions of a holonomic system
- PolySols(Module) -- polynomial solutions of a holonomic system
- PolySols(Module,List) -- polynomial solutions of a holonomic system
- populateCechComplexCC -- Cech complex skeleton for the computation of the characteristic cycles of local cohomology modules
- populateCechComplexCC(Ideal,List) -- 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
- pruneCechComplexCC(MutableHashTable) -- reduction of the Cech complex that produces characteristic cycles of local cohomology modules
- pruneLocalCohom -- prunes local cohomology modules
- pruneLocalCohom(HashTable) -- prunes local cohomology modules
- putWeylAlgebra -- transforms output of diffOps into elements of Weyl algebra
- putWeylAlgebra(HashTable) -- transforms output of diffOps into elements of Weyl algebra
- RatAnn -- annihilator of a rational function in Weyl algebra
- RatAnn(RingElement) -- annihilator of a rational function in Weyl algebra
- RatAnn(RingElement,RingElement) -- annihilator of a rational function in Weyl algebra
- RatExt -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatExt(..., Strategy => ...)
- RatExt(Ideal) -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatExt(Ideal,RingElement) -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatExt(Module) -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatExt(Module,RingElement) -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatExt(ZZ,Ideal) -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatExt(ZZ,Ideal,RingElement) -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatExt(ZZ,Module) -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatExt(ZZ,Module,RingElement) -- Ext(holonomic D-module, polynomial ring localized at the sigular locus)
- RatSols -- rational solutions of a holonomic system
- RatSols(Ideal) -- rational solutions of a holonomic system
- RatSols(Ideal,List) -- rational solutions of a holonomic system
- RatSols(Ideal,List,List) -- rational solutions of a holonomic system
- RatSols(Ideal,RingElement) -- rational solutions of a holonomic system
- RatSols(Ideal,RingElement,List) -- 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
- setHomSwitch -- toggles the use of homogeneous Weyl algebra
- setHomSwitch(Boolean) -- toggles the use of homogeneous Weyl algebra
- SetVariables -- name for an optional argument
- singLocus -- singular locus of a D-module
- singLocus(Ideal) -- singular locus of a D-module
- singLocus(Module) -- singular locus of a D-module
- Special
- stafford -- computes 2 generators for a given ideal in the Weyl algebra
- stafford(Ideal) -- 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
- WeylClosure(Ideal) -- Weyl closure of an ideal
- WeylClosure(Ideal,RingElement) -- Weyl closure of an ideal