One Hat Cyber Team

Edit File: _standardMonomialPoset.html

<!DOCTYPE html>
<html lang="en">
  <head>
    <title>standardMonomialPoset -- generates the poset of divisibility in the monomial basis of an ideal</title>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
    <link type="text/css" rel="stylesheet" href="../../../../Macaulay2/Style/doc.css">

o2 = Relation Matrix: | 1 1 1 1 1 1 1 |
                      | 0 1 1 1 0 0 0 |
                      | 0 0 1 0 0 0 0 |
                      | 0 0 0 1 0 0 0 |
                      | 0 0 1 0 1 1 0 |
                      | 0 0 0 0 0 1 0 |
                      | 0 0 0 1 0 1 1 |

o2 : Poset</code></pre>
            </td>
          </tr>
        </table>
        <div>
          <p>If the integers minDeg and maxDeg are specified, then only the monomials with degrees between minDeg and maxDeg are used.  As the standard monomial poset is ranked, this is the same as taking all the ranks between minDeg and maxDeg.</p>
        </div>
        <table class="examples">
          <tr>
            <td>
              <pre><code class="language-macaulay2">i3 : standardMonomialPoset(monomialIdeal(x^4, y^4, z^4, x*y*z), 3, 4)

o3 = Relation Matrix: | 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
                      | 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 |

o3 : Poset</code></pre>
            </td>
          </tr>
        </table>
      </div>
      <div>
        <h2>See also</h2>
        <ul>
          <li><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></li>
          <li><span><a title="make a monomial ideal" href="../../Macaulay2Doc/html/_monomial__Ideal.html">monomialIdeal</a> -- make a monomial ideal</span></li>
        </ul>
      </div>
      <div>
        <div class="waystouse">
          <h2>Ways to use <span class="tt">standardMonomialPoset</span>:</h2>
          <ul>
            <li><kbd>standardMonomialPoset(MonomialIdeal)</kbd></li>
            <li><kbd>standardMonomialPoset(MonomialIdeal,ZZ,ZZ)</kbd></li>
          </ul>
        </div>
        <div class="waystouse">
          <h2>For the programmer</h2>
          <p>The object <a title="generates the poset of divisibility in the monomial basis of an ideal" href="_standard__Monomial__Poset.html">standardMonomialPoset</a> is <span>a <a title="a type of method function" href="../../Macaulay2Doc/html/___Method__Function.html">method function</a></span>.</p>
        </div>
        <hr>
        <div class="waystouse">
          <p>The source of this document is in <span class="tt">Posets.m2:3901:0</span>.</p>
        </div>
      </div>
    </div>
  </body>

</html>

Edit File: _standard__Monomial__Poset.html

Edit File: _standardMonomialPoset.html