<?xml version="1.0" encoding="utf-8" ?> <!-- for emacs: -*- coding: utf-8 -*- -->
<!-- Apache may like this line in the file .htaccess: AddCharset utf-8 .html -->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" >
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head><title>localCohom(..., Strategy => ...) -- specify strategy for local cohomology</title>
<link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/>
</head>
<body>
<table class="buttons">
<tr>
<td><div><a href="_local__Cohom_lp__Ideal_rp.html">next</a> | <a href="_local__Cohom_lp..._cm_sp__Loc__Strategy_sp_eq_gt_sp..._rp.html">previous</a> | <a href="_local__Cohom_lp__Ideal_rp.html">forward</a> | <a href="_local__Cohom_lp..._cm_sp__Loc__Strategy_sp_eq_gt_sp..._rp.html">backward</a> | up | <a href="index.html">top</a> | <a href="master.html">index</a> | <a href="toc.html">toc</a> | <a href="http://www.math.uiuc.edu/Macaulay2/">Macaulay2 web site</a></div>
</td>
</tr>
</table>
<hr/>
<div><h1>localCohom(..., Strategy => ...) -- specify strategy for local cohomology</h1>
<div class="single"><h2>Description</h2>
<div>This option together with <a href="___Loc__Strategy.html" title="">LocStrategy</a> determines a strategy for <tt>localCohom(...Ideal...)</tt> and <tt>localCohom(...Ideal, Module...)</tt>.<ul><li><b>Walther</b> -- the algorithm of U. Walther that uses Cech complex.</li>
<li><b>LocStrategy => null</b> -- used only for <tt>localCohom(...Ideal...)</tt>, localizations are done by straitforward computation of annihilators and b-polynomials as described in [1].</li>
<li><b>LocStrategy => OaTaWa</b> -- localizations are done following Oaku-Takayama-Walther method.</li>
<li><b>LocStrategy => Oaku</b> -- localizations are done following Oaku's algorithm.</li>
<li><b>OaTa</b> -- restriction algorithm is used, which is due to T. Oaku and N. Takayama [2]</li>
</ul>
For detailed description of the algorithms see<ul><li><b>[1]</b>U. Walther, <em>Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties (JPAA (139), 1999.)</em></li>
<li><b>[2]</b>Oaku, Takayama<em>Algorithms for D-modules...</em></li>
</ul>
</div>
</div>
<h2>Further information</h2>
<ul><li><span>Default value: <a href="___Walther.html" title="an option for localCohom=>Strategy">Walther</a></span></li>
<li><span>Function: <span><a href="_local__Cohom.html" title="local cohomology">localCohom</a> -- local cohomology</span></span></li>
<li><span>Option name: <span><a href="../../Macaulay2Doc/html/___Strategy.html" title="name for an optional argument">Strategy</a> -- name for an optional argument</span></span></li>
</ul>
</div>
</body>
</html>
