<?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>bFunction(..., Strategy => ...) -- specify strategy for computing b-function</title> <link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/> </head> <body> <table class="buttons"> <tr> <td><div><a href="_b__Function_lp__Ideal_cm__List_rp.html">next</a> | <a href="_b__Function.html">previous</a> | <a href="_b__Function_lp__Ideal_cm__List_rp.html">forward</a> | <a href="_b__Function.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>bFunction(..., Strategy => ...) -- specify strategy for computing b-function</h1> <div class="single"><h2>Description</h2> <div><ul><li><b>IntRing</b> -- the simplest algorithm available. The idea is to compute <em>in</em><sub>(-w,w)</sub><em>(I) </em> intersect it with <em>k[t<sub>1</sub>,...,t<sub>n</sub>]</em>(<em>t<sub>i</sub> = x<sub>i</sub>D<sub>i</sub></em>)Call the ideal obtained <em>J</em>. Finally <em>J + (t<sub>1</sub> + ... + t<sub>n</sub>- s) \cap k[s]</em> is generated by the b-function that we are looking for.</li> <li><b>TryGeneric</b> -- checks whether the ideal is generic and if that is the case uses Alg.5.1.5 in Saito-Sturmfels-Takayama (1999) otherwise is eqivalent to <tt>NonGeneric</tt></li> <li><b>NonGeneric</b> -- uses 5.1.6 in Saito-Sturmfels-Takayama (1999)</li> <li>Default:<b>IntRing</b></li> </ul> </div> </div> <h2>Further information</h2> <ul><li><span>Default value: <a href="___Int__Ring.html" title="a strategy option for b-functions">IntRing</a></span></li> <li><span>Function: <span><a href="_b__Function.html" title="b-function">bFunction</a> -- b-function</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>