One Hat Cyber Team

Edit File: _check__Degrees_lp..._cm__Strict_eq_gt..._rp.html

<!DOCTYPE html>
<html lang="en">
  <head>
    <title>checkDegrees(...,Strict=>...) -- forces strict equality of degrees</title>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
    <link type="text/css" rel="stylesheet" href="../../../../Macaulay2/Style/doc.css">

o1 = S

o1 : PolynomialRing</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i2 : B = S^{{1,1}}

1
o2 = S

o2 : S-module, free, degrees {{-1, -1}}</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i3 : B' = S^{{3,3}}**B

1
o3 = S

o3 : S-module, free, degrees {{-4, -4}}</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i4 : d = checkDegrees(B',B)

o4 = (true, {-3, -3})

o4 : Sequence</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i5 : degrees (S^{d_1}**B') == degrees B

o5 = true</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i6 : degrees (B') == degrees (S^{-d_1}**B)

o6 = true</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i7 : checkDegrees(B',B,Strict=>true)

o7 = (false, )

o7 : Sequence</code></pre>
            </td>
          </tr>
        </table>
      </div>
      <div>
        <h2>See also</h2>
        <ul>
          <li><span><a title="compares the degrees of generators of two modules" href="_check__Degrees.html">checkDegrees</a> -- compares the degrees of generators of two modules</span></li>
        </ul>
      </div>
      <div>
        <div>
          <h2>Functions with optional argument named <span class="tt">Strict</span>:</h2>
          <ul>
            <li><span><a title="forces strict equality of degrees" href="_check__Degrees_lp..._cm__Strict_eq_gt..._rp.html">checkDegrees(...,Strict=>...)</a> -- forces strict equality of degrees</span></li>
            <li><span><kbd>isIsomorphic(...,Strict=>...)</kbd> -- see <span><a title="probabilistic test for isomorphism of modules" href="_is__Isomorphic.html">isIsomorphic</a> -- probabilistic test for isomorphism of modules</span></span></li>
            <li><span><kbd>isomorphism(...,Strict=>...)</kbd> -- see <span><a title="retrieve an isomorphism of modules" href="_isomorphism.html">isomorphism</a> -- retrieve an isomorphism of modules</span></span></li>
          </ul>
        </div>
        <div>
          <h2>Further information</h2>
          <ul>
            <li><span>Default value: <a href="../../Macaulay2Doc/html/_false.html">false</a></span></li>
            <li><span>Function: <span><a title="compares the degrees of generators of two modules" href="_check__Degrees.html">checkDegrees</a> -- compares the degrees of generators of two modules</span></span></li>
            <li><span>Option key: <span><a title="an optional argument" href="../../Macaulay2Doc/html/___Strict.html">Strict</a> -- an optional argument</span></span></li>
          </ul>
        </div>
        <hr>
        <div class="waystouse">
          <p>The source of this document is in <span class="tt">Isomorphism.m2:528:0</span>.</p>
        </div>
      </div>
    </div>
  </body>

</html>