One Hat Cyber Team
Your IP :
216.73.216.115
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
doc
/
Macaulay2
/
BernsteinSato
/
html
/
View File Name :
toc.html
<!DOCTYPE html> <html lang="en"> <head> <title>BernsteinSato : Table of Contents</title> <meta content="text/html; charset=utf-8" http-equiv="Content-Type"> <link type="text/css" rel="stylesheet" href="../../../../Macaulay2/Style/doc.css"> <link rel="stylesheet" href="../../../../Macaulay2/Style/katex/katex.min.css"> <script defer="defer" src="../../../../Macaulay2/Style/katex/katex.min.js"></script> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/auto-render.min.js"></script> <script> var macros = { "\\break": "\\\\", "\\ZZ": "\\mathbb{Z}", "\\NN": "\\mathbb{N}", "\\QQ": "\\mathbb{Q}", "\\RR": "\\mathbb{R}", "\\CC": "\\mathbb{C}", "\\PP": "\\mathbb{P}" }, delimiters = [ { left: "$$", right: "$$", display: true}, { left: "\\[", right: "\\]", display: true}, { left: "$", right: "$", display: false}, { left: "\\(", right: "\\)", display: false} ], ignoredTags = [ "kbd", "var", "samp", "script", "noscript", "style", "textarea", "pre", "code", "option" ]; document.addEventListener("DOMContentLoaded", function() { renderMathInElement(document.body, { delimiters: delimiters, macros: macros, ignoredTags: ignoredTags, trust: true }); }); </script> <style>.katex { font-size: 1em; }</style> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/copy-tex.min.js"></script> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/render-a11y-string.min.js"></script> <script src="../../../../Macaulay2/Style/prism.js"></script> <script>var current_version = '1.25.06';</script> <script src="../../../../Macaulay2/Style/version-select.js"></script> <link type="image/x-icon" rel="icon" href="../../../../Macaulay2/Style/icon.gif"> </head> <body> <div id="buttons"> <div> <a href="https://macaulay2.com/">Macaulay2</a> <span id="version-select-container"></span> » <a title="Macaulay2 documentation" href="../../Macaulay2Doc/html/index.html">Documentation </a> <br><a href="../../Macaulay2Doc/html/_packages_spprovided_spwith_sp__Macaulay2.html">Packages</a> » <span><a title="algorithms for b-functions, local cohomology, and intersection cohomology" href="index.html">BernsteinSato</a> :: <a href="toc.html">Table of Contents</a></span> </div> <div class="right"> <form method="get" action="https://www.google.com/search"> <input placeholder="Search" type="text" name="q" value=""> <input type="hidden" name="q" value="site:macaulay2.com/doc"> </form> next | previous | forward | backward | up | <a href="master.html">index</a> | <a href="toc.html">toc</a> </div> </div> <hr> <h1>BernsteinSato : Table of Contents</h1> <ul> <li><span><a title="algorithms for b-functions, local cohomology, and intersection cohomology" href="index.html">BernsteinSato</a> -- algorithms for b-functions, local cohomology, and intersection cohomology</span></li> <li><span><a href="___Alg.html">Alg</a></span></li> <li><span><a title="differential annihilator of a polynomial in a Weyl algebra" href="___Ann__Fs.html">AnnFs</a> -- differential annihilator of a polynomial in a Weyl algebra</span></li> <li><span><a title="the annihilating ideal of f^s for an arbitrary D-module" href="___Ann__I__Fs_lp__Ideal_cm__Ring__Element_rp.html">AnnIFs(Ideal,RingElement)</a> -- the annihilating ideal of f^s for an arbitrary D-module</span></li> <li><span><a title="a key in the hashtable created by Drestriction/Dintegration" href="___B__Function.html">BFunction</a> -- a key in the hashtable created by Drestriction/Dintegration</span></li> <li><span><a title="b-function" href="_b__Function.html">bFunction</a> -- b-function</span></li> <li><span><a title="specify strategy for computing b-function" href="_b__Function_lp..._cm__Strategy_eq_gt..._rp.html">bFunction(...,Strategy=>...)</a> -- specify strategy for computing b-function</span></li> <li><span><a title="b-function of an ideal" href="_b__Function_lp__Ideal_cm__List_rp.html">bFunction(Ideal,List)</a> -- b-function of an ideal</span></li> <li><span><a title="b-function of a holonomic D-module" href="_b__Function_lp__Module_cm__List_cm__List_rp.html">bFunction(Module,List,List)</a> -- b-function of a holonomic D-module</span></li> <li><span><a title="get roots of a b-function" href="_b__Function__Roots_lp__Ring__Element_rp.html">bFunctionRoots(RingElement)</a> -- get roots of a b-function</span></li> <li><span><a title="a key attached by globalB and Dlocalize" href="___Boperator.html">Boperator</a> -- a key attached by globalB and Dlocalize</span></li> <li><span><a title="a key in the hashtable created by Drestriction/Dintegration" href="___Boundaries.html">Boundaries</a> -- a key in the hashtable created by Drestriction/Dintegration</span></li> <li><span><a title="a key attached by globalB" href="___Bpolynomial.html">Bpolynomial</a> -- a key attached by globalB</span></li> <li><span><a title="a key in the hashtable created by deRham" href="___Cohomology__Groups.html">CohomologyGroups</a> -- a key in the hashtable created by deRham</span></li> <li><span><a title="a key in the hashtable created by Drestriction/Dintegration" href="___Cycles.html">Cycles</a> -- a key in the hashtable created by Drestriction/Dintegration</span></li> <li><span><a title="holonomic dual of a D-module" href="___Ddual.html">Ddual</a> -- holonomic dual of a D-module</span></li> <li><span><a title="deRham cohomology groups for the complement of a hypersurface" href="_de__Rham.html">deRham</a> -- deRham cohomology groups for the complement of a hypersurface</span></li> <li><span><a href="_de__Rham_lp..._cm__Strategy_eq_gt..._rp.html">deRham(...,Strategy=>...)</a></span></li> <li><span><a href="_de__Rham__All_lp..._cm__Strategy_eq_gt..._rp.html">deRhamAll(...,Strategy=>...)</a></span></li> <li><span><a title="deRham complex for the complement of a hypersurface" href="_de__Rham__All_lp__Ring__Element_rp.html">deRhamAll(RingElement)</a> -- deRham complex for the complement of a hypersurface</span></li> <li><span><a title="Ext groups between holonomic modules" href="___D__Ext.html">DExt</a> -- Ext groups between holonomic modules</span></li> <li><span><a href="___D__Ext_lp..._cm__Info_eq_gt..._rp.html">DExt(...,Info=>...)</a></span></li> <li><span><a href="___D__Ext_lp..._cm__Output_eq_gt..._rp.html">DExt(...,Output=>...)</a></span></li> <li><span><a href="___D__Ext_lp..._cm__Special_eq_gt..._rp.html">DExt(...,Special=>...)</a></span></li> <li><span><a href="___D__Ext_lp..._cm__Strategy_eq_gt..._rp.html">DExt(...,Strategy=>...)</a></span></li> <li><span><a title="D-homomorphisms between holonomic D-modules" href="___D__Hom.html">DHom</a> -- D-homomorphisms between holonomic D-modules</span></li> <li><span><a href="___D__Hom_lp..._cm__Strategy_eq_gt..._rp.html">DHom(...,Strategy=>...)</a></span></li> <li><span><a title="derivative of a rational function in a Weyl algebra" href="_diff__Rat__Fun.html">diffRatFun</a> -- derivative of a rational function in a Weyl algebra</span></li> <li><span><a title="integration modules of a D-module" href="___Dintegration.html">Dintegration</a> -- integration modules of a D-module</span></li> <li><span><a href="___Dintegration_lp..._cm__Strategy_eq_gt..._rp.html">Dintegration(...,Strategy=>...)</a></span></li> <li><span><a title="integration modules of a D-module (extended version)" href="___Dintegration__All.html">DintegrationAll</a> -- integration modules of a D-module (extended version)</span></li> <li><span><a title="integration classes of a D-module" href="___Dintegration__Classes.html">DintegrationClasses</a> -- integration classes of a D-module</span></li> <li><span><a title="derived integration complex of a D-module" href="___Dintegration__Complex.html">DintegrationComplex</a> -- derived integration complex of a D-module</span></li> <li><span><a title="integration ideal of a D-module" href="___Dintegration__Ideal.html">DintegrationIdeal</a> -- integration ideal of a D-module</span></li> <li><span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></li> <li><span><a title="localization of a D-module" href="___Dlocalize.html">Dlocalize</a> -- localization of a D-module</span></li> <li><span><a title="strategy for computing a localization of a D-module" href="___Dlocalize_lp..._cm__Strategy_eq_gt..._rp.html">Dlocalize(...,Strategy=>...)</a> -- strategy for computing a localization of a D-module</span></li> <li><span><a title="localization of a D-module (extended version)" href="___Dlocalize__All.html">DlocalizeAll</a> -- localization of a D-module (extended version)</span></li> <li><span><a title="localization map from a D-module to its localization" href="___Dlocalize__Map.html">DlocalizeMap</a> -- localization map from a D-module to its localization</span></li> <li><span><a title="resolution of a D-module" href="___Dresolution.html">Dresolution</a> -- resolution of a D-module</span></li> <li><span><a title="the limit for the length of a resolution of a D-module" href="___Dresolution_lp..._cm__Length__Limit_eq_gt..._rp.html">Dresolution(...,LengthLimit=>...)</a> -- the limit for the length of a resolution of a D-module</span></li> <li><span><a title="strategy for computing a resolution of a D-module" href="___Dresolution_lp..._cm__Strategy_eq_gt..._rp.html">Dresolution(...,Strategy=>...)</a> -- strategy for computing a resolution of a D-module</span></li> <li><span><a title="restriction modules of a D-module" href="___Drestriction.html">Drestriction</a> -- restriction modules of a D-module</span></li> <li><span><a title="restriction modules of a D-module (extended version)" href="___Drestriction__All.html">DrestrictionAll</a> -- restriction modules of a D-module (extended version)</span></li> <li><span><a title="restriction classes of a D-module" href="___Drestriction__Classes.html">DrestrictionClasses</a> -- restriction classes of a D-module</span></li> <li><span><a title="derived restriction complex of a D-module" href="___Drestriction__Complex.html">DrestrictionComplex</a> -- derived restriction complex of a D-module</span></li> <li><span><a title="restriction ideal of a D-module" href="___Drestriction__Ideal.html">DrestrictionIdeal</a> -- restriction ideal of a D-module</span></li> <li><span><a title="an option for polynomialSolutions=>Alg" href="___Duality.html">Duality</a> -- an option for polynomialSolutions=>Alg</span></li> <li><span><a title="a key in the hashtable created by Drestriction/Dintegration" href="___Explicit.html">Explicit</a> -- a key in the hashtable created by Drestriction/Dintegration</span></li> <li><span><a title="a key in the hashtable created by Drestriction/Dintegration" href="___Exponents.html">Exponents</a> -- a key in the hashtable created by Drestriction/Dintegration</span></li> <li><span><a title="external product of modules or complexes" href="___External__Product.html">ExternalProduct</a> -- external product of modules or complexes</span></li> <li><span><a title="indicates whether TwistMap should be computed" href="___External__Product_lp..._cm__Twist__Map_eq_gt..._rp.html">ExternalProduct(...,TwistMap=>...)</a> -- indicates whether TwistMap should be computed</span></li> <li><span><a title="factorization of a b-function" href="_factor__B__Function_lp__Ring__Element_rp.html">factorBFunction(RingElement)</a> -- factorization of a b-function</span></li> <li><span><a title="an option for polynomialSolutions=>Alg" href="___G__D.html">GD</a> -- an option for polynomialSolutions=>Alg</span></li> <li><span><a title="a key in the hashtable created by Drestriction/Dintegration" href="___Gen__Cycles.html">GenCycles</a> -- a key in the hashtable created by Drestriction/Dintegration</span></li> <li><span><a title="specify exponent m for m-generalized Bernstein-Sato polynomial" href="_general__B_lp..._cm__Exponent_eq_gt..._rp.html">generalB(...,Exponent=>...)</a> -- specify exponent m for m-generalized Bernstein-Sato polynomial</span></li> <li><span><a title="specify strategy for computing generalized Bernstein-Sato polynomial" href="_general__B_lp..._cm__Strategy_eq_gt..._rp.html">generalB(...,Strategy=>...)</a> -- specify strategy for computing generalized Bernstein-Sato polynomial</span></li> <li><span><a title="global generalized Bernstein-Sato polynomial" href="_general__B_lp__List_cm__Ring__Element_rp.html">generalB(List,RingElement)</a> -- global generalized Bernstein-Sato polynomial</span></li> <li><span><a title="a strategy option for lct, globalBFunction" href="___General__Bernstein__Sato.html">GeneralBernsteinSato</a> -- a strategy option for lct, globalBFunction</span></li> <li><span><a title="get integer roots of a b-function" href="_get__Int__Roots_lp__Ring__Element_rp.html">getIntRoots(RingElement)</a> -- get integer roots of a b-function</span></li> <li><span><a title="compute global b-function and b-operator for a D-module and a polynomial" href="_global__B_lp__Ideal_cm__Ring__Element_rp.html">globalB(Ideal,RingElement)</a> -- compute global b-function and b-operator for a D-module and a polynomial</span></li> <li><span><a title="specify strategy for computing global b-function" href="_global__B__Function_lp..._cm__Strategy_eq_gt..._rp.html">globalBFunction(...,Strategy=>...)</a> -- specify strategy for computing global b-function</span></li> <li><span><a title="global b-function (else known as the Bernstein-Sato polynomial)" href="_global__B__Function_lp__Ring__Element_rp.html">globalBFunction(RingElement)</a> -- global b-function (else known as the Bernstein-Sato polynomial)</span></li> <li><span><a title="compute a b-operator of a polynomial" href="_global__Boperator_lp__Ring__Element_rp.html">globalBoperator(RingElement)</a> -- compute a b-operator of a polynomial</span></li> <li><span><a title="check if a complete intersection has at most rational singularities" href="_has__Rational__Sing_lp__List_rp.html">hasRationalSing(List)</a> -- check if a complete intersection has at most rational singularities</span></li> <li><span><a title="a key in a hashtable; an option of DExt" href="___Homology__Modules.html">HomologyModules</a> -- a key in a hashtable; an option of DExt</span></li> <li><span><a title="intersection (co)homology module of an irreducible closed subvariety" href="___I__Hmodule.html">IHmodule</a> -- intersection (co)homology module of an irreducible closed subvariety</span></li> <li><span><a href="___Info.html">Info</a></span></li> <li><span><a title="a key in the hashtable created by Dintegration" href="___Integrate__Complex.html">IntegrateComplex</a> -- a key in the hashtable created by Dintegration</span></li> <li><span><a title="intersection cohomology of an irreducible affine variety" href="_intersection__Cohomology.html">intersectionCohomology</a> -- intersection cohomology of an irreducible affine variety</span></li> <li><span><a title="multiplier ideal membership test" href="_is__In__Multiplier__Ideal_lp__Ring__Element_cm__Ideal_cm__Q__Q_rp.html">isInMultiplierIdeal(RingElement,Ideal,QQ)</a> -- multiplier ideal membership test</span></li> <li><span><a title="jumping coefficients and corresponding multiplier ideals" href="_jumping__Coefficients_lp__Ideal_rp.html">jumpingCoefficients(Ideal)</a> -- jumping coefficients and corresponding multiplier ideals</span></li> <li><span><a title="D-annihilator of 1/f for a planar curve" href="_kappa__Ann__F1__Planar__Curve.html">kappaAnnF1PlanarCurve</a> -- D-annihilator of 1/f for a planar curve</span></li> <li><span><a title="k-th order D-annihilator of a power of a polynomial" href="_k__Order__Ann__Fa.html">kOrderAnnFa</a> -- k-th order D-annihilator of a power of a polynomial</span></li> <li><span><a title="specify strategy for computing lct" href="_lct_lp..._cm__Strategy_eq_gt..._rp.html">lct(...,Strategy=>...)</a> -- specify strategy for computing lct</span></li> <li><span><a title="compute the log canonical threshold for an ideal" href="_lct_lp__Ideal_rp.html">lct(Ideal)</a> -- compute the log canonical threshold for an ideal</span></li> <li><span><a title="local b-function (a.k.a. the local Bernstein-Sato polynomial)" href="_local__B__Function_lp__Ring__Element_cm__Ideal_rp.html">localBFunction(RingElement,Ideal)</a> -- local b-function (a.k.a. the local Bernstein-Sato polynomial)</span></li> <li><span><a title="local cohomology" href="_local__Cohom.html">localCohom</a> -- local cohomology</span></li> <li><span><a title="specify localization strategy for local cohomology" href="_local__Cohom_lp..._cm__Loc__Strategy_eq_gt..._rp.html">localCohom(...,LocStrategy=>...)</a> -- specify localization strategy for local cohomology</span></li> <li><span><a title="specify strategy for local cohomology" href="_local__Cohom_lp..._cm__Strategy_eq_gt..._rp.html">localCohom(...,Strategy=>...)</a> -- specify strategy for local cohomology</span></li> <li><span><a title="local cohomology of a polynomial ring" href="_local__Cohom_lp__Ideal_rp.html">localCohom(Ideal)</a> -- local cohomology of a polynomial ring</span></li> <li><span><a title="local cohomology of a D-module" href="_local__Cohom_lp__Ideal_cm__Module_rp.html">localCohom(Ideal,Module)</a> -- local cohomology of a D-module</span></li> <li><span><a title="local cohomology of a polynomial ring" href="_local__Cohom_lp__List_cm__Ideal_rp.html">localCohom(List,Ideal)</a> -- local cohomology of a polynomial ring</span></li> <li><span><a title="local cohomology of a D-module" href="_local__Cohom_lp__List_cm__Ideal_cm__Module_rp.html">localCohom(List,Ideal,Module)</a> -- local cohomology of a D-module</span></li> <li><span><a title="local cohomology of a polynomial ring" href="_local__Cohom_lp__Z__Z_cm__Ideal_rp.html">localCohom(ZZ,Ideal)</a> -- local cohomology of a polynomial ring</span></li> <li><span><a title="local cohomology of a D-module" href="_local__Cohom_lp__Z__Z_cm__Ideal_cm__Module_rp.html">localCohom(ZZ,Ideal,Module)</a> -- local cohomology of a D-module</span></li> <li><span><a title="the characteristic cycle of the localized $D$-module" href="_localize__Characteristic__Cycle.html">localizeCharacteristicCycle</a> -- the characteristic cycle of the localized $D$-module</span></li> <li><span><a title="a key in the hashtable created by deRham" href="___Localize__Map.html">LocalizeMap</a> -- a key in the hashtable created by deRham</span></li> <li><span><a href="___Loc__Strategy.html">LocStrategy</a></span></li> <li><span><a title="logarithmic cohomology groups in two variables" href="_log__Cohomology_lp__Ring__Element_rp.html">logCohomology(RingElement)</a> -- logarithmic cohomology groups in two variables</span></li> <li><span><a title="multiplier ideal" href="_multiplier__Ideal_lp__Ideal_cm__Q__Q_rp.html">multiplierIdeal(Ideal,QQ)</a> -- multiplier ideal</span></li> <li><span><a title="an option for DExt=>Special" href="___None.html">None</a> -- an option for DExt=>Special</span></li> <li><span><a title="an option for localCohom=>Strategy" href="___Oa__Ta.html">OaTa</a> -- an option for localCohom=>Strategy</span></li> <li><span><a title="an option for localCohom => LocStrategy" href="___Oa__Ta__Wa.html">OaTaWa</a> -- an option for localCohom => LocStrategy</span></li> <li><span><a title="a key in the hashtable created by deRham" href="___Omega__Res.html">OmegaRes</a> -- a key in the hashtable created by deRham</span></li> <li><span><a href="___Output.html">Output</a></span></li> <li><span><a title="compute the list of all possible Bernstein-Sato polynomials for a parametric polynomial" href="_param__Bpoly_lp__Ring__Element_cm__File_rp.html">paramBpoly(RingElement,File)</a> -- compute the list of all possible Bernstein-Sato polynomials for a parametric polynomial</span></li> <li><span><a title="annihilator of a polynomial in the Weyl algebra" href="_polynomial__Annihilator.html">polynomialAnnihilator</a> -- annihilator of a polynomial in the Weyl algebra</span></li> <li><span><a title="Ext groups between a holonomic module and a polynomial ring" href="_polynomial__Ext.html">polynomialExt</a> -- Ext groups between a holonomic module and a polynomial ring</span></li> <li><span><a href="_polynomial__Ext_lp..._cm__Strategy_eq_gt..._rp.html">polynomialExt(...,Strategy=>...)</a></span></li> <li><span><a title="polynomial solutions of a holonomic system" href="_polynomial__Solutions.html">polynomialSolutions</a> -- polynomial solutions of a holonomic system</span></li> <li><span><a title="algorithm for finding polynomial solutions" href="_polynomial__Solutions_lp..._cm__Alg_eq_gt..._rp.html">polynomialSolutions(...,Alg=>...)</a> -- algorithm for finding polynomial solutions</span></li> <li><span><a title="Cech complex skeleton for the computation of the characteristic cycles of local cohomology modules" href="_populate__Cech__Complex__C__C_lp__Ideal_cm__List_rp.html">populateCechComplexCC(Ideal,List)</a> -- Cech complex skeleton for the computation of the characteristic cycles of local cohomology modules</span></li> <li><span><a title="a key in the hashtable created by deRham" href="___Pre__Cycles.html">PreCycles</a> -- a key in the hashtable created by deRham</span></li> <li><span><a title="a key attached by ExternalProduct" href="_proj__Map1.html">projMap1</a> -- a key attached by ExternalProduct</span></li> <li><span><a title="a key attached by ExternalProduct" href="_proj__Map2.html">projMap2</a> -- a key attached by ExternalProduct</span></li> <li><span><a title="reduction of the Cech complex that produces characteristic cycles of local cohomology modules" href="_prune__Cech__Complex__C__C_lp__Mutable__Hash__Table_rp.html">pruneCechComplexCC(MutableHashTable)</a> -- reduction of the Cech complex that produces characteristic cycles of local cohomology modules</span></li> <li><span><a title="prunes local cohomology modules" href="_prune__Local__Cohom_lp__Hash__Table_rp.html">pruneLocalCohom(HashTable)</a> -- prunes local cohomology modules</span></li> <li><span><a title="annihilator of a rational function in Weyl algebra" href="_rational__Function__Annihilator.html">rationalFunctionAnnihilator</a> -- annihilator of a rational function in Weyl algebra</span></li> <li><span><a title="Ext(holonomic D-module, polynomial ring localized at the singular locus)" href="_rational__Function__Ext.html">rationalFunctionExt</a> -- Ext(holonomic D-module, polynomial ring localized at the singular locus)</span></li> <li><span><a href="_rational__Function__Ext_lp..._cm__Strategy_eq_gt..._rp.html">rationalFunctionExt(...,Strategy=>...)</a></span></li> <li><span><a title="rational solutions of a holonomic system" href="_rational__Function__Solutions.html">rationalFunctionSolutions</a> -- rational solutions of a holonomic system</span></li> <li><span><a title="Reiffen's curve" href="_reiffen.html">reiffen</a> -- Reiffen's curve</span></li> <li><span><a title="strategy for computing a resolution of a D-module" href="___Schreyer.html">Schreyer</a> -- strategy for computing a resolution of a D-module</span></li> <li><span><a href="___Special.html">Special</a></span></li> <li><span><a title="a key in the hashtable created by deRham" href="___Transfer__Cycles.html">TransferCycles</a> -- a key in the hashtable created by deRham</span></li> <li><span><a title="a key attached by ExternalProduct" href="_twist__Inv__Map.html">twistInvMap</a> -- a key attached by ExternalProduct</span></li> <li><span><a title="indicates whether TwistMap should be computed" href="___Twist__Map.html">TwistMap</a> -- indicates whether TwistMap should be computed</span></li> <li><span><a title="a key attached by ExternalProduct" href="_twist__Map.html">twistMap</a> -- a key attached by ExternalProduct</span></li> <li><span><a title="strategy for computing a resolution of a D-module" href="___Vhomogenize.html">Vhomogenize</a> -- strategy for computing a resolution of a D-module</span></li> <li><span><a title="a strategy option for lct" href="___Via__B__Function.html">ViaBFunction</a> -- a strategy option for lct</span></li> <li><span><span class="tt">ViaColonIdeal</span> (missing documentation)<!--tag: ViaColonIdeal--> </span></li> <li><span><span class="tt">ViaElimination</span> (missing documentation)<!--tag: ViaElimination--> </span></li> <li><span><a title="an option for generalB=>Strategy" href="___Via__Linear__Algebra.html">ViaLinearAlgebra</a> -- an option for generalB=>Strategy</span></li> <li><span><a title="a key in the hashtable created by Drestriction/Dintegration" href="___V__Resolution.html">VResolution</a> -- a key in the hashtable created by Drestriction/Dintegration</span></li> <li><span><a title="an option for localCohom=>Strategy" href="___Walther.html">Walther</a> -- an option for localCohom=>Strategy</span></li> <li><span><a title="Weyl closure of an ideal" href="___Weyl__Closure.html">WeylClosure</a> -- Weyl closure of an ideal</span></li> </ul> </body> </html>