One Hat Cyber Team
Your IP :
216.73.216.80
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
/
Binomials
/
html
/
Edit File:
index.html
<!DOCTYPE html> <html lang="en"> <head> <title>Binomials -- a package for binomial ideals</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 binomial ideals" href="index.html">Binomials</a> :: <a title="a package for binomial ideals" href="index.html">Binomials</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="___B__C__D.html">next</a> | previous | <a href="___B__C__D.html">forward</a> | backward | up | <a href="master.html">index</a> | <a href="toc.html">toc</a> </div> </div> <hr> <div> <h1>Binomials -- a package for binomial ideals</h1> <div> <h2>Description</h2> <em>Binomials</em> is a package for binomial ideals with a particular focus on intersection decompositions and associated primes. For instance, if the input is a unital binomial ideal (that is generated by monomials and differences of monomials) then the function<a title="Binomial Primary Decomposition" href="_binomial__Primary__Decomposition.html">binomialPrimaryDecomposition</a>computes a primary decomposition into binomial ideals. To this end a cyclotomic field extension of the coefficient field may be necessary which is automatically constructed using the package <a title="cyclotomic fields" href="../../Cyclotomic/html/index.html">Cyclotomic</a>.<em> Binomials</em> also implements the data type <a title="Computing the partial character of a cellular binomial ideal" href="_partial__Character.html">partialCharacter</a> (see [ES96]) and several convenience functions to transform binomials into exponent vectors and vice versa. Those may be useful for manual inspection of binomial ideals.There is no special datatype for binomial ideals implemented, one just uses <a title="make an ideal" href="../../Macaulay2Doc/html/_ideal.html">ideal</a>s.<br><br><b>Literature </b> <ul> <li>[ES96] <em>Binomial ideals </em>(D. Eisenbud, B.Sturmfels, 1996). </li> <li>[DMM10] <em>Combinatorics of binomial primary decomposition </em>(A. Dickenstein, L. Matusevich, E.Miller, 2010) </li> <li>[OS00] <em>Cellular Binomial Ideals. Primary Decomposition of Binomial Ideals </em>(I. Ojeda, R. Piedra-Sanchez, 2000) </li> <li>[Alt00] <em>The chain property for the associated primes of A-graded ideals </em>(K. Altmann, 2000) </li> <li>[KM11] <em>Decompositions of commutative monoid congruences and binomial ideals </em>(T. Kahle, E. Miller, 2011)</li> </ul> </div> <div> <div> <div> <h2>Author</h2> <ul> <li><a href="http://www.thomas-kahle.de">Thomas Kahle</a><span> <<a href="mailto:thomas.kahle%40jpberlin.de">thomas.kahle@jpberlin.de</a>></span></li> </ul> </div> <div> <h2>Certification <img src="../../../../Macaulay2/Style/GoldStar.png" alt="a gold star"> </h2> <p>Version <b>1.0</b> of this package was accepted for publication in <a href="https://msp.org/jsag/2012/4-1/">volume 4</a> of <a href="https://msp.org/jsag/">The Journal of Software for Algebra and Geometry: Macaulay2</a> on 2012-02-06, in the article <a href="https://msp.org/jsag/2012/4-1/p01.xhtml">Decompositions of binomial ideals</a> (DOI: <a href="https://doi.org/10.2140/jsag.2012.4.1">10.2140/jsag.2012.4.1</a>). That version can be obtained from <a href="https://msp.org/jsag/2012/4-1/jsag-v4-n1-x01-code.zip">the journal</a>.</p> </div> <div> <h2>Version</h2> <p>This documentation describes version <b>1.2.1</b> of Binomials, released <b>January 2018</b>.</p> </div> <div> <h2>Citation</h2> <p>If you have used this package in your research, please cite it as follows:</p> <table class="examples"> <tr> <td> <pre><code class="language-bib">@misc{BinomialsSource, title = {{Binomials: specialized routines for binomial ideals. Version~1.2.1}}, author = {Thomas Kahle}, howpublished = {A \emph{Macaulay2} package available at \url{https://github.com/Macaulay2/M2/tree/stable/M2/Macaulay2/packages}} } @article{BinomialsArticle, title = {{Decompositions of binomial ideals}}, author = {Thomas Kahle}, journal = {The Journal of Software for Algebra and Geometry: Macaulay2}, volume = {4}, year = {2012}, } </code></pre> </td> </tr> </table> </div> <div> <h2>Exports</h2> <div class="exports"> <ul> <li>Types <ul> <li><span><a title="the class of all partial characters" href="___Partial__Character.html">PartialCharacter</a> -- the class of all partial characters</span></li> </ul> </li> <li>Functions and commands <ul> <li><span><a title="Binomial Cellular Decomposition" href="___B__C__D.html">BCD</a> -- Binomial Cellular Decomposition</span></li> <li><span><a title="Associated primes of a binomial ideal" href="_binomial__Associated__Primes.html">binomialAssociatedPrimes</a> -- Associated primes of a binomial ideal</span></li> <li><span><a title="Binomial Cellular Decomposition" href="_binomial__Cellular__Decomposition.html">binomialCellularDecomposition</a> -- Binomial Cellular Decomposition</span></li> <li><span><a title="test for primary binomial ideals" href="_binomial__Is__Primary.html">binomialIsPrimary</a> -- test for primary binomial ideals</span></li> <li><span><a title="test for primeness of a binomial ideal" href="_binomial__Is__Prime.html">binomialIsPrime</a> -- test for primeness of a binomial ideal</span></li> <li><span><a title="minimal primes of a binomial Ideal" href="_binomial__Minimal__Primes.html">binomialMinimalPrimes</a> -- minimal primes of a binomial Ideal</span></li> <li><span><a title="Binomial Primary Decomposition" href="_binomial__Primary__Decomposition.html">binomialPrimaryDecomposition</a> -- Binomial Primary Decomposition</span></li> <li><span><a title="Radical of a binomial ideal" href="_binomial__Radical.html">binomialRadical</a> -- Radical of a binomial ideal</span></li> <li><span><a title="solving zero-dimensional binomial Ideals" href="_binomial__Solve.html">binomialSolve</a> -- solving zero-dimensional binomial Ideals</span></li> <li><span><a title="Binomial Unmixed Decomposition" href="_binomial__Unmixed__Decomposition.html">binomialUnmixedDecomposition</a> -- Binomial Unmixed Decomposition</span></li> <li><span><a title="Binomial Primary Decomposition" href="___B__P__D.html">BPD</a> -- Binomial Primary Decomposition</span></li> <li><span><a title="Binomial Unmixed Decomposition" href="___B__U__D.html">BUD</a> -- Binomial Unmixed Decomposition</span></li> <li><span><a title="Associated primes of a cellular binomial ideal" href="_cellular__Binomial__Associated__Primes.html">cellularBinomialAssociatedPrimes</a> -- Associated primes of a cellular binomial ideal</span></li> <li><span><a title="test for primaryness of a binomial ideal" href="_cellular__Binomial__Is__Primary.html">cellularBinomialIsPrimary</a> -- test for primaryness of a binomial ideal</span></li> <li><span><a title="Primary decomposition of a cellular binomial ideal" href="_cellular__Binomial__Primary__Decomposition.html">cellularBinomialPrimaryDecomposition</a> -- Primary decomposition of a cellular binomial ideal</span></li> <li><span><a title="Radical of a cellular binomial ideal" href="_cellular__Binomial__Radical.html">cellularBinomialRadical</a> -- Radical of a cellular binomial ideal</span></li> <li><span><a title="Unmixed decomposition of a cellular binomial ideal" href="_cellular__Binomial__Unmixed__Decomposition.html">cellularBinomialUnmixedDecomposition</a> -- Unmixed decomposition of a cellular binomial ideal</span></li> <li><span><a title="Extract inclusion minimal ideals from a list of ideals" href="_extract__Inclusion__Minimal__Ideals.html">extractInclusionMinimalIdeals</a> -- Extract inclusion minimal ideals from a list of ideals</span></li> <li><span><a title="Generate a lattice ideal from a character." href="_ideal__From__Character.html">idealFromCharacter</a> -- Generate a lattice ideal from a character.</span></li> <li><span><a title="testing for unital binomial ideals" href="_is__Binomial.html">isBinomial</a> -- testing for unital binomial ideals</span></li> <li><span><kbd>isUnital</kbd> -- see <span><a title="testing for unital binomial ideals" href="_is__Binomial.html">isBinomial</a> -- testing for unital binomial ideals</span></span></li> <li><span><a title="testing for cellular binomial ideals" href="_is__Cellular.html">isCellular</a> -- testing for cellular binomial ideals</span></li> <li><span><a title="construct the ideal whose generators correspond to generators of an integer lattice" href="_lattice__Basis__Ideal.html">latticeBasisIdeal</a> -- construct the ideal whose generators correspond to generators of an integer lattice</span></li> <li><span><a title="make a binomial from an exponent vector and a coefficient" href="_make__Binomial.html">makeBinomial</a> -- make a binomial from an exponent vector and a coefficient</span></li> <li><span><a title="Computing the partial character of a cellular binomial ideal" href="_partial__Character.html">partialCharacter</a> -- Computing the partial character of a cellular binomial ideal</span></li> <li><span><a title="Random Binomial Ideals" href="_random__Binomial__Ideal.html">randomBinomialIdeal</a> -- Random Binomial Ideals</span></li> </ul> </li> <li>Methods <ul> <li><span><kbd>binomialCellularDecomposition(Ideal)</kbd> -- see <span><a title="Binomial Cellular Decomposition" href="_binomial__Cellular__Decomposition.html">binomialCellularDecomposition</a> -- Binomial Cellular Decomposition</span></span></li> <li><span><kbd>binomialIsPrime(Ideal)</kbd> -- see <span><a title="test for primeness of a binomial ideal" href="_binomial__Is__Prime.html">binomialIsPrime</a> -- test for primeness of a binomial ideal</span></span></li> <li><span><kbd>binomialMinimalPrimes(Ideal)</kbd> -- see <span><a title="minimal primes of a binomial Ideal" href="_binomial__Minimal__Primes.html">binomialMinimalPrimes</a> -- minimal primes of a binomial Ideal</span></span></li> <li><span><kbd>binomialPrimaryDecomposition(Ideal)</kbd> -- see <span><a title="Binomial Primary Decomposition" href="_binomial__Primary__Decomposition.html">binomialPrimaryDecomposition</a> -- Binomial Primary Decomposition</span></span></li> <li><span><kbd>binomialUnmixedDecomposition(Ideal)</kbd> -- see <span><a title="Binomial Unmixed Decomposition" href="_binomial__Unmixed__Decomposition.html">binomialUnmixedDecomposition</a> -- Binomial Unmixed Decomposition</span></span></li> <li><span><kbd>cellularBinomialAssociatedPrimes(Ideal)</kbd> -- see <span><a title="Associated primes of a cellular binomial ideal" href="_cellular__Binomial__Associated__Primes.html">cellularBinomialAssociatedPrimes</a> -- Associated primes of a cellular binomial ideal</span></span></li> <li><span><kbd>cellularBinomialIsPrimary(Ideal)</kbd> -- see <span><a title="test for primaryness of a binomial ideal" href="_cellular__Binomial__Is__Primary.html">cellularBinomialIsPrimary</a> -- test for primaryness of a binomial ideal</span></span></li> <li><span><kbd>cellularBinomialPrimaryDecomposition(Ideal)</kbd> -- see <span><a title="Primary decomposition of a cellular binomial ideal" href="_cellular__Binomial__Primary__Decomposition.html">cellularBinomialPrimaryDecomposition</a> -- Primary decomposition of a cellular binomial ideal</span></span></li> <li><span><kbd>cellularBinomialRadical(Ideal)</kbd> -- see <span><a title="Radical of a cellular binomial ideal" href="_cellular__Binomial__Radical.html">cellularBinomialRadical</a> -- Radical of a cellular binomial ideal</span></span></li> <li><span><kbd>cellularBinomialUnmixedDecomposition(Ideal)</kbd> -- see <span><a title="Unmixed decomposition of a cellular binomial ideal" href="_cellular__Binomial__Unmixed__Decomposition.html">cellularBinomialUnmixedDecomposition</a> -- Unmixed decomposition of a cellular binomial ideal</span></span></li> <li><span><kbd>extractInclusionMinimalIdeals(List)</kbd> -- see <span><a title="Extract inclusion minimal ideals from a list of ideals" href="_extract__Inclusion__Minimal__Ideals.html">extractInclusionMinimalIdeals</a> -- Extract inclusion minimal ideals from a list of ideals</span></span></li> <li><span><kbd>idealFromCharacter(Ring,PartialCharacter)</kbd> -- see <span><a title="Generate a lattice ideal from a character." href="_ideal__From__Character.html">idealFromCharacter</a> -- Generate a lattice ideal from a character.</span></span></li> <li><span><kbd>isCellular(Ideal)</kbd> -- see <span><a title="testing for cellular binomial ideals" href="_is__Cellular.html">isCellular</a> -- testing for cellular binomial ideals</span></span></li> <li><span><kbd>partialCharacter(Ideal)</kbd> -- see <span><a title="Computing the partial character of a cellular binomial ideal" href="_partial__Character.html">partialCharacter</a> -- Computing the partial character of a cellular binomial ideal</span></span></li> </ul> </li> <li>Symbols <ul> <li><span><a title="cellular variables" href="___Cell__Variables.html">CellVariables</a> -- cellular variables</span></li> <li><span><a title="return the cellular variables" href="___Return__Cell__Vars.html">ReturnCellVars</a> -- return the cellular variables</span></li> <li><span><a title="return two partial characters" href="___Return__P__Chars.html">ReturnPChars</a> -- return two partial characters</span></li> <li><span><a title="return two associated primes" href="___Return__Primes.html">ReturnPrimes</a> -- return two associated primes</span></li> </ul> </li> </ul> </div> </div> </div> <div class="waystouse"> <h2>For the programmer</h2> <p>The object <a title="a package for binomial ideals" href="index.html">Binomials</a> is <span>a <a title="the class of all packages" href="../../Macaulay2Doc/html/___Package.html">package</a></span>, defined in <span class="tt">Binomials.m2</span>.</p> </div> <hr> <div class="waystouse"> <p>The source of this document is in <span class="tt">Binomials.m2:1403:0</span>.</p> </div> </div> </div> </body> </html>
Simpan