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 :
___D__Hom_lp..._cm__Strategy_eq_gt..._rp.html
<!DOCTYPE html> <html lang="en"> <head> <title>DHom(...,Strategy=>...)</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="___D__Hom_lp..._cm__Strategy_eq_gt..._rp.html">DHom(...,Strategy=>...)</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> <a href="_diff__Rat__Fun.html">next</a> | <a href="___D__Hom.html">previous</a> | <a href="_diff__Rat__Fun.html">forward</a> | <a href="___D__Hom.html">backward</a> | up | <a href="master.html">index</a> | <a href="toc.html">toc</a> </div> </div> <hr> <div> <h1>DHom(...,Strategy=>...)</h1> <div> <h2>Description</h2> Option is passed to Dresolution. See <a title="strategy for computing a resolution of a D-module" href="___Dresolution_lp..._cm__Strategy_eq_gt..._rp.html">Dresolution(...,Strategy=>...)</a> </div> <div> <div> <h2>Functions with optional argument named <span class="tt">Strategy</span>:</h2> <ul> <li><span><kbd>addHook(...,Strategy=>...)</kbd> -- see <span><a title="add a hook function to an object for later processing" href="../../Macaulay2Doc/html/_add__Hook.html">addHook</a> -- add a hook function to an object for later processing</span></span></li> <li><span><span class="tt">annihilator(...,Strategy=>...)</span> (missing documentation)<!--tag: [annihilator, Strategy]--> </span></li> <li><span><kbd>basis(...,Strategy=>...)</kbd> -- see <span><a title="basis or generating set of all or part of a ring, ideal or module" href="../../Macaulay2Doc/html/_basis.html">basis</a> -- basis or generating set of all or part of a ring, ideal or module</span></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><kbd>mingens(...,Strategy=>...)</kbd> -- see <span><a title="a Strategy option value" href="../../Macaulay2Doc/html/___Complement.html">Complement</a> -- a Strategy option value</span></span></li> <li><span><kbd>trim(...,Strategy=>...)</kbd> -- see <span><a title="a Strategy option value" href="../../Macaulay2Doc/html/___Complement.html">Complement</a> -- a Strategy option value</span></span></li> <li><span><kbd>compose(Module,Module,Module,Strategy=>...)</kbd> -- see <span><a title="composition as a pairing on Hom-modules" href="../../Macaulay2Doc/html/_compose.html">compose</a> -- composition as a pairing on Hom-modules</span></span></li> <li><span><span class="tt">decompose(Ideal,Strategy=>...)</span> (missing documentation)<!--tag: [(decompose,Ideal), Strategy]--> </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="choose between Bareiss, Cofactor and Dynamic algorithms" href="../../Macaulay2Doc/html/_determinant_lp..._cm__Strategy_eq_gt..._rp.html">determinant(...,Strategy=>...)</a> -- choose between Bareiss, Cofactor and Dynamic algorithms</span></li> <li><span><a href="___D__Ext_lp..._cm__Strategy_eq_gt..._rp.html">DExt(...,Strategy=>...)</a></span></li> <li><span><a href="___D__Hom_lp..._cm__Strategy_eq_gt..._rp.html">DHom(...,Strategy=>...)</a></span></li> <li><span><a href="___Dintegration_lp..._cm__Strategy_eq_gt..._rp.html">Dintegration(...,Strategy=>...)</a></span></li> <li><span><kbd>DintegrationAll(...,Strategy=>...)</kbd> -- see <span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></span></li> <li><span><kbd>DintegrationClasses(...,Strategy=>...)</kbd> -- see <span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></span></li> <li><span><kbd>DintegrationComplex(...,Strategy=>...)</kbd> -- see <span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></span></li> <li><span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></li> <li><span><kbd>Drestriction(...,Strategy=>...)</kbd> -- see <span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></span></li> <li><span><kbd>DrestrictionAll(...,Strategy=>...)</kbd> -- see <span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></span></li> <li><span><kbd>DrestrictionClasses(...,Strategy=>...)</kbd> -- see <span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></span></li> <li><span><kbd>DrestrictionComplex(...,Strategy=>...)</kbd> -- see <span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></span></li> <li><span><kbd>DrestrictionIdeal(...,Strategy=>...)</kbd> -- see <span><a href="___Dintegration__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">DintegrationIdeal(...,Strategy=>...)</a></span></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><kbd>DlocalizeAll(...,Strategy=>...)</kbd> -- see <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></span></li> <li><span><kbd>DlocalizeMap(...,Strategy=>...)</kbd> -- see <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></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><kbd>dual(MonomialIdeal,List,Strategy=>...)</kbd> -- see <span><a href="../../Macaulay2Doc/html/_dual_lp__Monomial__Ideal_cm__Strategy_eq_gt..._rp.html">dual(MonomialIdeal,Strategy=>...)</a></span></span></li> <li><span><kbd>dual(MonomialIdeal,RingElement,Strategy=>...)</kbd> -- see <span><a href="../../Macaulay2Doc/html/_dual_lp__Monomial__Ideal_cm__Strategy_eq_gt..._rp.html">dual(MonomialIdeal,Strategy=>...)</a></span></span></li> <li><span><a href="../../Macaulay2Doc/html/_dual_lp__Monomial__Ideal_cm__Strategy_eq_gt..._rp.html">dual(MonomialIdeal,Strategy=>...)</a></span></li> <li><span><kbd>End(...,Strategy=>...)</kbd> -- see <span><a title="module of endomorphisms" href="../../Macaulay2Doc/html/___End.html">End</a> -- module of endomorphisms</span></span></li> <li><span><a title="choose between Bareiss, Cofactor and Dynamic algorithms" href="../../Macaulay2Doc/html/_exterior__Power_lp..._cm__Strategy_eq_gt..._rp.html">exteriorPower(...,Strategy=>...)</a> -- choose between Bareiss, Cofactor and Dynamic algorithms</span></li> <li><span><kbd>gb(...,Strategy=>...)</kbd> -- see <span><a title="compute a Gröbner basis" href="../../Macaulay2Doc/html/_gb.html">gb</a> -- compute a Gröbner basis</span></span></li> <li><span><kbd>gbw(...,Strategy=>...)</kbd> -- see <span><a title="compute a Gröbner basis with respect to a weight vector" href="../../WeylAlgebras/html/_gbw.html">gbw</a> -- compute a Gröbner basis with respect to a weight vector</span></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><kbd>GF(...,Strategy=>...)</kbd> -- see <span><a title="make a finite field" href="../../Macaulay2Doc/html/___G__F.html">GF</a> -- make a finite field</span></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><kbd>groebnerBasis(...,Strategy=>...)</kbd> -- see <span><a title="Gröbner basis, as a matrix" href="../../Macaulay2Doc/html/_groebner__Basis.html">groebnerBasis</a> -- Gröbner basis, as a matrix</span></span></li> <li><span><kbd>Hom(...,Strategy=>...)</kbd> -- see <span><a title="module of homomorphisms" href="../../Macaulay2Doc/html/___Hom.html">Hom</a> -- module of homomorphisms</span></span></li> <li><span><kbd>homomorphism'(...,Strategy=>...)</kbd> -- see <span><a title="get the element of Hom from a homomorphism" href="../../Macaulay2Doc/html/_homomorphism_sq.html">homomorphism'</a> -- get the element of Hom from a homomorphism</span></span></li> <li><span><kbd>hooks(...,Strategy=>...)</kbd> -- see <span><a title="list hooks attached to a key" href="../../Macaulay2Doc/html/_hooks.html">hooks</a> -- list hooks attached to a key</span></span></li> <li><span><kbd>intersect(Ideal,Ideal,Strategy=>...)</kbd> -- see <span><a title="compute an intersection of a sequence of ideals or modules" href="../../Macaulay2Doc/html/_intersect_lp__Ideal_cm__Ideal_rp.html">intersect(Ideal,Ideal)</a> -- compute an intersection of a sequence of ideals or modules</span></span></li> <li><span><kbd>intersect(Module,Module,Strategy=>...)</kbd> -- see <span><a title="compute an intersection of a sequence of ideals or modules" href="../../Macaulay2Doc/html/_intersect_lp__Ideal_cm__Ideal_rp.html">intersect(Ideal,Ideal)</a> -- compute an intersection of a sequence of ideals or modules</span></span></li> <li><span><kbd>intersectionCohomology(...,Strategy=>...)</kbd> -- see <span><a title="intersection cohomology of an irreducible affine variety" href="_intersection__Cohomology.html">intersectionCohomology</a> -- intersection cohomology of an irreducible affine variety</span></span></li> <li><span><kbd>isInMultiplierIdeal(...,Strategy=>...)</kbd> -- see <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></span></li> <li><span><span class="tt">isPrime(Ideal,Strategy=>...)</span> (missing documentation)<!--tag: [(isPrime,Ideal), Strategy]--> </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="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><kbd>match(...,Strategy=>...)</kbd> -- see <span><a title="regular expression matching" href="../../Macaulay2Doc/html/_match.html">match</a> -- regular expression matching</span></span></li> <li><span><a title="choose between Bareiss, Cofactor and Dynamic algorithms" href="../../Macaulay2Doc/html/_minors_lp..._cm__Strategy_eq_gt..._rp.html">minors(...,Strategy=>...)</a> -- choose between Bareiss, Cofactor and Dynamic algorithms</span></li> <li><span><kbd>jumpingCoefficients(...,Strategy=>...)</kbd> -- see <span><a title="multiplier ideal" href="_multiplier__Ideal_lp__Ideal_cm__Q__Q_rp.html">multiplierIdeal(Ideal,QQ)</a> -- multiplier ideal</span></span></li> <li><span><kbd>multiplierIdeal(...,Strategy=>...)</kbd> -- see <span><a title="multiplier ideal" href="_multiplier__Ideal_lp__Ideal_cm__Q__Q_rp.html">multiplierIdeal(Ideal,QQ)</a> -- multiplier ideal</span></span></li> <li><span><span class="tt">normalCone(Ideal,RingElement,Strategy=>...)</span> (missing documentation)<!--tag: [(normalCone,Ideal,RingElement), Strategy]--> </span></li> <li><span><span class="tt">normalCone(Ideal,Strategy=>...)</span> (missing documentation)<!--tag: [(normalCone,Ideal), Strategy]--> </span></li> <li><span><kbd>parallelApply(...,Strategy=>...)</kbd> -- see <span><a title="apply a function to each element in parallel" href="../../Macaulay2Doc/html/_parallel__Apply.html">parallelApply</a> -- apply a function to each element in parallel</span></span></li> <li><span><a href="_polynomial__Ext_lp..._cm__Strategy_eq_gt..._rp.html">polynomialExt(...,Strategy=>...)</a></span></li> <li><span><kbd>pushForward(...,Strategy=>...)</kbd> -- see <span><a title="compute the pushforward of a module along a ring map" href="../../Macaulay2Doc/html/_push__Forward_lp__Ring__Map_cm__Module_rp.html">pushForward(RingMap,Module)</a> -- compute the pushforward of a module along a ring map</span></span></li> <li><span><span class="tt">quotient'(...,Strategy=>...)</span> (missing documentation)<!--tag: [quotient', Strategy]--> </span></li> <li><span><span class="tt">quotient(...,Strategy=>...)</span> (missing documentation)<!--tag: [quotient, Strategy]--> </span></li> <li><span><a href="_rational__Function__Ext_lp..._cm__Strategy_eq_gt..._rp.html">rationalFunctionExt(...,Strategy=>...)</a></span></li> <li><span><a href="../../OldChainComplexes/html/_resolution_lp..._cm__Strategy_eq_gt..._rp.html">resolution(...,Strategy=>...)</a></span></li> <li><span><span class="tt">saturate(...,Strategy=>...)</span> (missing documentation)<!--tag: [saturate, Strategy]--> </span></li> <li><span><kbd>syz(...,Strategy=>...)</kbd> -- see <span><a title="compute the syzygy matrix" href="../../Macaulay2Doc/html/_syz_lp__Matrix_rp.html">syz(Matrix)</a> -- compute the syzygy matrix</span></span></li> </ul> </div> <div> <h2>Further information</h2> <ul> <li><span>Default value: <a title="strategy for computing a resolution of a D-module" href="___Schreyer.html">Schreyer</a></span></li> <li><span>Function: <span><a title="D-homomorphisms between holonomic D-modules" href="___D__Hom.html">DHom</a> -- D-homomorphisms between holonomic D-modules</span></span></li> <li><span>Option key: <span><a title="an optional argument" href="../../Macaulay2Doc/html/___Strategy.html">Strategy</a> -- an optional argument</span></span></li> </ul> </div> <hr> <div class="waystouse"> <p>The source of this document is in <span class="tt">BernsteinSato/DOC/DHom.m2:6:0</span>.</p> </div> </div> </div> </body> </html>