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
• Canonical Series Tutorial -- Computing series solutions to regular holonomic systems
• 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
• cssExpts -- the exponents of the canonical series solutions of I in the direction of a weight vector
• cssExpts(Ideal,List) -- 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
• cssExptsMult(Ideal,List) -- 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
• D-modules tutorial -- Algebraic computations for linear differential equations
• 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
• distraction -- the image in the thetaRing of a torus-fixed ideal in a Weyl algebra
• distraction(Ideal,Ring) -- the image in the thetaRing of a torus-fixed ideal in a Weyl algebra
• 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 D-module
• Dprune(...,optGB=>...) -- indicates whether a Grobner basis should be computed
• Dprune(Matrix) -- prunes a D-module
• Dprune(Module) -- prunes a D-module
• 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
• eulerOperators (missing documentation)
• 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
• extractDiffsAlgebra -- underlying polynomial ring in the differentials of a Weyl algebra
• extractDiffsAlgebra(PolynomialRing) -- underlying polynomial ring in the differentials of a Weyl algebra
• extractVarsAlgebra -- underlying polynomial ring in the ordinary variables of a Weyl algebra
• extractVarsAlgebra(PolynomialRing) -- underlying polynomial ring in the ordinary variables of a Weyl algebra
• 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 bases w.r.t. a weight
• gbw(Ideal,List) -- Groebner bases w.r.t. a weight
• gbw(Matrix,List) -- Groebner bases 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
• genToDistractionGens -- the image in the thetaRing of a torus-fixed element in a Weyl algebra
• genToDistractionGens(RingElement,Ring) -- the image in the thetaRing of a torus-fixed element in a Weyl algebra
• 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 -- The A-hypergeometric systems of Gelfand, Kapranov and Zelevinsky (GKZ)
• gkz(Matrix,List) -- The A-hypergeometric systems of Gelfand, Kapranov and Zelevinsky (GKZ)
• gkz(Matrix,List,PolynomialRing) -- The A-hypergeometric systems of Gelfand, Kapranov and Zelevinsky (GKZ)
• 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
• ICcohom (missing documentation)
• ICmodule (missing documentation)
• indicialIdeal -- the image in the thetaRing of an indicial ideal in a Weyl algebra
• indicialIdeal(Ideal,List) -- the image in the thetaRing of an indicial ideal in a Weyl algebra
• 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
• isTorusFixed -- checks if an ideal in a Weyl algebra is torus-fixed
• isTorusFixed(Ideal) -- checks if an ideal in a Weyl algebra is torus-fixed
• 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 -- D-annihilator of 1/f for a planar curve
• kappaAnnF1PlanarCurve(RingElement) -- D-annihilator of 1/f for a planar curve
• kOrderAnnFa -- k-th order D-annihilator of a power of a polynomial
• kOrderAnnFa(ZZ,RingElement,ZZ) -- k-th order D-annihilator of a power of a polynomial
• kOrderAnnFs -- k-th order D-annihilator of a power of a polynomial
• kOrderAnnFs(ZZ,RingElement) -- k-th order D-annihilator of a power of a polynomial
• 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
• LocCohomStrategy (missing documentation)
• 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 -- strategy for computing a localization of a D-module
• OaTa -- an option for localCohom=>Strategy
• OaTaWa -- an option for localCohom => LocStrategy
• OmegaRes -- a key in the hashtable created by deRham
• optGB -- indicates whether a Grobner basis should be computed
• OTW -- strategy for computing a localization of a D-module
• OTWcyclic -- strategy for computing a localization of a D-module
• 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 the Weyl algebra
• PolyAnn(RingElement) -- annihilator of a polynomial in the 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 singular locus)
• RatExt(...,Strategy=>...)
• RatExt(Ideal) -- Ext(holonomic D-module, polynomial ring localized at the singular locus)
• RatExt(Ideal,RingElement) -- Ext(holonomic D-module, polynomial ring localized at the singular locus)
• RatExt(Module) -- Ext(holonomic D-module, polynomial ring localized at the singular locus)
• RatExt(Module,RingElement) -- Ext(holonomic D-module, polynomial ring localized at the singular locus)
• RatExt(ZZ,Ideal) -- Ext(holonomic D-module, polynomial ring localized at the singular locus)
• RatExt(ZZ,Ideal,RingElement) -- Ext(holonomic D-module, polynomial ring localized at the singular locus)
• RatExt(ZZ,Module) -- Ext(holonomic D-module, polynomial ring localized at the singular locus)
• RatExt(ZZ,Module,RingElement) -- Ext(holonomic D-module, polynomial ring localized at the singular 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 -- Reiffen's curve
• reiffen(ZZ,ZZ) -- Reiffen's curve
• 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
• solveFrobeniusIdeal -- solving Frobenius ideals
• solveFrobeniusIdeal(Ideal) -- solving Frobenius ideals
• 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
• toricIdealPartials -- image of a monomial map
• toricIdealPartials(Matrix,PolynomialRing) -- image of a monomial map
• 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