One Hat Cyber Team

Edit File: _local__Complement.html

<!DOCTYPE html>
<html lang="en">
  <head>
    <title>localComplement -- find the splitting of the target of a map</title>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
    <link type="text/css" rel="stylesheet" href="../../../../Macaulay2/Style/doc.css">

o1 = R

o1 : PolynomialRing</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i2 : m = matrix{{x,y-1},{0,x}}

o2 = | x y-1 |
     | 0 x   |

2      2
o2 : Matrix R  &lt;-- R</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i3 : setMaxIdeal(ideal(x,y))

o3 = ideal (x, y)

o3 : Ideal of R</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i4 : localComplement m

o4 = | 0 |
     | 1 |

2      1
o4 : Matrix R  &lt;-- R</code></pre>
            </td>
          </tr>
        </table>
      </div>
      <div>
        <h2>See also</h2>
        <ul>
          <li><span><a title="set the maximal ideal for local ring methods" href="_set__Max__Ideal.html">setMaxIdeal</a> -- set the maximal ideal for local ring methods</span></li>
          <li><span><a title="find syzygies" href="_localsyz.html">localsyz</a> -- find syzygies</span></li>
          <li><span><a title="finds a minimal set of generators" href="_local__Mingens.html">localMingens</a> -- finds a minimal set of generators</span></li>
          <li><span><a title="find the pre-image (pullback) of image of a map over a local ring" href="_local__Modulo.html">localModulo</a> -- find the pre-image (pullback) of image of a map over a local ring</span></li>
          <li><span><a title="find a minimal presentation" href="_local__Prune.html">localPrune</a> -- find a minimal presentation</span></li>
          <li><span><a title="find a resolution over a local ring" href="_local__Resolution.html">localResolution</a> -- find a resolution over a local ring</span></li>
          <li><span><a title="The class of all local rings" href="___Local__Ring.html">residueMap</a> -- The class of all local rings</span></li>
          <li><span><a title="The class of all local rings" href="___Local__Ring.html">maxIdeal</a> -- The class of all local rings</span></li>
        </ul>
      </div>
      <div>
        <div class="waystouse">
          <h2>Ways to use <span class="tt">localComplement</span>:</h2>
          <ul>
            <li><kbd>localComplement(Matrix)</kbd></li>
          </ul>
        </div>
        <div class="waystouse">
          <h2>For the programmer</h2>
          <p>The object <a title="find the splitting of the target of a map" href="_local__Complement.html">localComplement</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">LocalRings/legacy.m2:177:0</span>.</p>
        </div>
      </div>
    </div>
  </body>

</html>