One Hat Cyber Team

Edit File: _DlocalizeAll.html

<!DOCTYPE html>
<html lang="en">
  <head>
    <title>DlocalizeAll -- localization of a D-module (extended version)</title>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
    <link type="text/css" rel="stylesheet" href="../../../../Macaulay2/Style/doc.css">

o1 = W

o1 : PolynomialRing, 2 differential variable(s)</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i2 : M = W^1/ideal(x*dx + 1, dy)

o2 = cokernel | xdx+1 dy |

1
o2 : W-module, quotient of W</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i3 : f = x^2 - y^3

3    2
o3 = - y  + x

o3 : W</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i4 : Mfall = DlocalizeAll(M, f)

o4 = HashTable{GeneratorPower => -2                                        }
                                                    4      5      5      7
               IntegrateBfunction => (s)(s + 1)(s + -)(s + -)(s + -)(s + -)
                                                    3      3      6      6
               LocMap => | y6-2x2y3+x4 |
               LocModule => cokernel | -3xdx-2ydy-15 -y3dy+x2dy-6y2 |

o4 : HashTable</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i5 : gens image Mfall.LocMap == f^(-Mfall.GeneratorPower) * gens Mfall.LocModule

o5 = true</code></pre>
            </td>
          </tr>
        </table>
        <div>
          <p></p>
          <p></p>
        </div>
      </div>
      <div>
        <h2>See also</h2>
        <ul>
          <li><span><a title="localization of a D-module" href="___Dlocalize.html">Dlocalize</a> -- localization of a D-module</span></li>
          <li><span><a title="differential annihilator of a polynomial in a Weyl algebra" href="___Ann__Fs.html">AnnFs</a> -- differential annihilator of a polynomial in a Weyl algebra</span></li>
          <li><span><a title="integration modules of a D-module" href="___Dintegration.html">Dintegration</a> -- integration modules of a D-module</span></li>
        </ul>
      </div>
      <div>
        <div class="waystouse">
          <h2>Ways to use <span class="tt">DlocalizeAll</span>:</h2>
          <ul>
            <li><kbd>DlocalizeAll(Ideal,RingElement)</kbd></li>
            <li><kbd>DlocalizeAll(Module,RingElement)</kbd></li>
          </ul>
        </div>
        <div class="waystouse">
          <h2>For the programmer</h2>
          <p>The object <a title="localization of a D-module (extended version)" href="___Dlocalize__All.html">DlocalizeAll</a> is <span>a <a title="a type of method function" href="../../Macaulay2Doc/html/___Method__Function__With__Options.html">method function with options</a></span>.</p>
        </div>
        <hr>
        <div class="waystouse">
          <p>The source of this document is in <span class="tt">BernsteinSato/DOC/Dlocalize.m2:119:0</span>.</p>
        </div>
      </div>
    </div>
  </body>

</html>

Edit File: ___Dlocalize__All.html

Edit File: _DlocalizeAll.html