One Hat Cyber Team
Your IP :
216.73.216.135
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
/
SlackIdeals
/
html
/
View File Name :
_slack__Ideal_lp..._cm__Strategy_eq_gt..._rp.html
<!DOCTYPE html> <html lang="en"> <head> <title>slackIdeal(...,Strategy=>...) -- specifies saturation strategy to be used</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="a package for slack ideals of polytopes and matroids" href="index.html">SlackIdeals</a> :: <a title="specifies saturation strategy to be used" href="_slack__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">slackIdeal(...,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="_slack__Ideal_lp..._cm__Vars_eq_gt..._rp.html">next</a> | <a href="_slack__Ideal_lp..._cm__Saturate_eq_gt..._rp.html">previous</a> | <a href="_slack__Ideal_lp..._cm__Vars_eq_gt..._rp.html">forward</a> | <a href="_slack__Ideal_lp..._cm__Saturate_eq_gt..._rp.html">backward</a> | up | <a href="master.html">index</a> | <a href="toc.html">toc</a> </div> </div> <hr> <div> <h1>slackIdeal(...,Strategy=>...) -- specifies saturation strategy to be used</h1> <ul> <li> <dl class="element"> <dt>Usage: </dt> <dd><code class="language-macaulay2">slackIdeal(..., Strategy => Iterate)</code></dd> <dd><code class="language-macaulay2">slackIdeal(..., Strategy => Bayer)</code></dd> <dd><code class="language-macaulay2">slackIdeal(..., Strategy => Linear)</code></dd> <dd><code class="language-macaulay2">slackIdeal(..., Strategy => Eliminate)</code></dd> </dl> </li> </ul> <div> <!--empty documentation body--> </div> <div> <h2>See also</h2> <ul> <li><span><a title="an optional argument" href="../../Macaulay2Doc/html/___Strategy.html">Strategy</a> -- an optional argument</span></li> </ul> </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><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><a title="specifies saturation strategy to be used" href="_cycle__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">cycleIdeal(...,Strategy=>...)</a> -- specifies saturation strategy to be used</span></li> <li><span><span class="tt">decompose(Ideal,Strategy=>...)</span> (missing documentation)<!--tag: [(decompose,Ideal), Strategy]--> </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><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><span class="tt">epicResolutionMap(...,Strategy=>...)</span> (missing documentation)<!--tag: [epicResolutionMap, Strategy]--> </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><span class="tt">gcdLLL(...,Strategy=>...)</span> (missing documentation)<!--tag: [gcdLLL, Strategy]--> </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="specifies saturation strategy to be used" href="_graphic__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">graphicIdeal(...,Strategy=>...)</a> -- specifies saturation strategy to be used</span></li> <li><span><a title="specifies saturation strategy to be used" href="_grassmann__Section__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">grassmannSectionIdeal(...,Strategy=>...)</a> -- specifies saturation strategy to be used</span></li> <li><span><kbd>greeneKleitmanPartition(...,Strategy=>...)</kbd> -- see <span><a title="computes the Greene-Kleitman partition of a poset" href="../../Posets/html/_greene__Kleitman__Partition.html">greeneKleitmanPartition</a> -- computes the Greene-Kleitman partition of a poset</span></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>hasMinor(...,Strategy=>...)</kbd> -- see <span><a title="whether a matroid has a given minor" href="../../Matroids/html/_has__Minor.html">hasMinor</a> -- whether a matroid has a given minor</span></span></li> <li><span><span class="tt">hermite(...,Strategy=>...)</span> (missing documentation)<!--tag: [hermite, Strategy]--> </span></li> <li><span><kbd>hibiRing(...,Strategy=>...)</kbd> -- see <span><a title="produces the Hibi ring of a poset" href="../../Posets/html/_hibi__Ring.html">hibiRing</a> -- produces the Hibi ring of a poset</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>isIsomorphic(...,Strategy=>...)</kbd> -- see <span><a title="probabilistic test for isomorphism of modules" href="../../Isomorphism/html/_is__Isomorphic.html">isIsomorphic</a> -- probabilistic test for isomorphism of modules</span></span></li> <li><span><span class="tt">isomorphism(...,Strategy=>...)</span> (missing documentation)<!--tag: [isomorphism, Strategy]--> </span></li> <li><span><span class="tt">isPrime(Ideal,Strategy=>...)</span> (missing documentation)<!--tag: [(isPrime,Ideal), Strategy]--> </span></li> <li><span><kbd>lcmLattice(...,Strategy=>...)</kbd> -- see <span><a title="generates the lattice of lcms in an ideal" href="../../Posets/html/_lcm__Lattice.html">lcmLattice</a> -- generates the lattice of lcms in an ideal</span></span></li> <li><span><a title="choose among different algorithms" href="../../LLLBases/html/___L__L__L_lp..._cm__Strategy_eq_gt..._rp.html">LLL(...,Strategy=>...)</a> -- choose among different algorithms</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>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><kbd>pPartitionRing(...,Strategy=>...)</kbd> -- see <span><a title="produces the p-partition ring of a poset" href="../../Posets/html/_p__Partition__Ring.html">pPartitionRing</a> -- produces the p-partition ring of a poset</span></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 title="specifies saturation strategy to be used" href="_rehomogenize__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">rehomogenizeIdeal(...,Strategy=>...)</a> -- specifies saturation strategy to be used</span></li> <li><span><kbd>resolutionMap(...,Strategy=>...)</kbd> -- see <span><a title="map from a free resolution to the given complex" href="../../Complexes/html/_resolution__Map.html">resolutionMap</a> -- map from a free resolution to the given complex</span></span></li> <li><span><span class="tt">saturate(...,Strategy=>...)</span> (missing documentation)<!--tag: [saturate, Strategy]--> </span></li> <li><span><a title="specifies saturation strategy to be used" href="_slack__Ideal_lp..._cm__Strategy_eq_gt..._rp.html">slackIdeal(...,Strategy=>...)</a> -- specifies saturation strategy to be used</span></li> <li><span><kbd>freeResolution(...,Strategy=>...)</kbd> -- see <span><a title="overview of the different algorithms for computing free resolutions" href="../../Complexes/html/___Strategies_spfor_spfree_spresolutions.html">Strategies for free resolutions</a> -- overview of the different algorithms for computing free resolutions</span></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> <li><span><kbd>transitiveOrientation(...,Strategy=>...)</kbd> -- see <span><a title="generates a poset whose comparability graph is the given graph" href="../../Posets/html/_transitive__Orientation.html">transitiveOrientation</a> -- generates a poset whose comparability graph is the given graph</span></span></li> </ul> </div> <div> <h2>Further information</h2> <ul> <li><span>Default value: <a title="elimination order" href="../../Macaulay2Doc/html/___Eliminate.html">Eliminate</a></span></li> <li><span>Function: <span><a title="computes the slack ideal" href="_slack__Ideal.html">slackIdeal</a> -- computes the slack ideal</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">SlackIdeals.m2:2678:0</span>.</p> </div> </div> </div> </body> </html>