<?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>localize(..., Strategy => ...)</title>
<link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/>
</head>
<body>
<table class="buttons">
<tr>
<td><div><a href="_primary__Component_lp__Ideal_cm__Ideal_rp.html">next</a> | <a href="_localize_lp__Ideal_cm__Ideal_rp.html">previous</a> | <a href="_primary__Component_lp__Ideal_cm__Ideal_rp.html">forward</a> | <a href="_localize_lp__Ideal_cm__Ideal_rp.html">backward</a> | <a href="index.html">up</a> | <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>
<div><a href="index.html" title="">PrimaryDecomposition</a> > <a href="_localize_lp..._cm_sp__Strategy_sp_eq_gt_sp..._rp.html" title="">localize(..., Strategy => ...)</a></div>
<hr/>
<div><h1>localize(..., Strategy => ...)</h1>
<div class="single"><h2>Description</h2>
<div>The strategy option value should be one of the following.<ul><li>0 -- Uses the algorithm of Eisenbud-Huneke-Vasconcelos</li>
<li>1 -- Uses a separator to find the localization</li>
</ul>
The default strategy is 1.<h3>Strategy => 0</h3>
This strategy does not require the calculation of the assassinator, but can require the computation of high powers of ideals. The method appears in Eisenbud-Huneke-Vasconcelos, Invent. Math. 110 (1992) 207-235.<h3>Strategy => 1</h3>
This strategy uses a separator polynomial - a polynomial in all of the associated primes of <tt>I</tt> but <tt>P</tt> and those contained in <tt>P</tt>. In this strategy, the assassinator of the ideal will be recalled, or recomputed using <a href="../../Macaulay2Doc/html/_associated__Primes_lp..._cm_sp__Strategy_sp_eq_gt_sp..._rp.html" title="">associatedPrimes(..., Strategy => ...)</a> = 1, if unknown. The separator polynomial method is described in Shimoyama-Yokoyama, J. Symbolic computation, 22(3) 247-277 (1996).<h3>Strategy => 2</h3>
This is the same as <tt>Strategy => 1</tt> except that, if unknown, the assassinator is computer using <a href="../../Macaulay2Doc/html/_associated__Primes_lp..._cm_sp__Strategy_sp_eq_gt_sp..._rp.html" title="">associatedPrimes(..., Strategy => ...)</a> = 2.</div>
</div>
<h2>Further information</h2>
<ul><li><span>Default value: <tt>1</tt></span></li>
<li><span>Function: <span><a href="_localize_lp__Ideal_cm__Ideal_rp.html" title="localize an ideal at a prime ideal">localize</a> -- localize an ideal at a prime ideal</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>
