<?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>gbw -- Groebner basis w.r.t. a weight</title>
<link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/>
</head>
<body>
<table class="buttons">
<tr>
<td><div><a href="___G__D.html">next</a> | <a href="___Fourier__Inverse.html">previous</a> | <a href="___G__D.html">forward</a> | <a href="___Fourier__Inverse.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>gbw -- Groebner basis w.r.t. a weight</h1>
<div class="single"><h2>Synopsis</h2>
<ul><li><div class="list"><dl class="element"><dt class="heading">Usage: </dt><dd class="value"><div><tt>gbI = gbw(I,w), gbM = gbw(M,w)</tt></div>
</dd></dl>
</div>
</li>
<li><div class="single">Inputs:<ul><li><span><tt>I</tt>, <span>an <a href="../../Macaulay2Doc/html/___Ideal.html">ideal</a></span>, in the Weyl algebra</span></li>
<li><span><tt>M</tt>, <span>a <a href="../../Macaulay2Doc/html/___Matrix.html">matrix</a></span>, with entries in the Weyl algebra</span></li>
<li><span><tt>w</tt>, <span>a <a href="../../Macaulay2Doc/html/___List.html">list</a></span>, of weights</span></li>
</ul>
</div>
</li>
<li><div class="single">Outputs:<ul><li><span><tt>gbI</tt>, <span>an <a href="../../Macaulay2Doc/html/___Ideal.html">ideal</a></span>, with the generators forming a Grobner basis of the ideal with respect to the weight vector</span></li>
<li><span><tt>gbM</tt>, <span>a <a href="../../Macaulay2Doc/html/___Matrix.html">matrix</a></span>, with the columns forming a Grobner basis of the submodule generated by the columns of the matrix with respect to the weight vector</span></li>
</ul>
</div>
</li>
</ul>
</div>
<div class="single"><h2>Description</h2>
<div>This routine computes a Groebner basis of a left ideal <em>I</em> of the Weyl algebra with respect to a weight vector <em>w = (u,v)</em> where either <em>u+v > 0</em> or <em>u+v = 0</em>. In the case where <em>u+v > 0</em> the ordinary Buchberger algorithm works for any term order refining the weight order. In the case where <em>u+v = 0</em> the Buchberger algorithm needs to be adapted to guarantee termination. There are two strategies for doing this. One is to homogenize to an ideal of the homogeneous Weyl algebra. The other is to homogenize with respect to the weight vector <em>w</em>.<table class="examples"><tr><td><pre>i1 : W = QQ[x,y,Dx,Dy, WeylAlgebra => {x=>Dx,y=>Dy}]
o1 = W
o1 : PolynomialRing</pre>
</td></tr>
<tr><td><pre>i2 : I = ideal (x*Dx+2*y*Dy-3, Dx^2-Dy)
2
o2 = ideal (x*Dx + 2y*Dy - 3, Dx - Dy)
o2 : Ideal of W</pre>
</td></tr>
<tr><td><pre>i3 : gbw(I, {1,3,3,-1})
2 2 2
o3 = ideal (x*Dx + 2y*Dy - 3, 4y Dy - x Dy + 2x*Dx - 2y*Dy, 2y*Dx*Dy + x*Dy
------------------------------------------------------------------------
2
- 2Dx, Dx - Dy)
o3 : Ideal of W</pre>
</td></tr>
<tr><td><pre>i4 : gbw(I, {-1,-3,1,3})
2
o4 = ideal (x*Dx + 2y*Dy - 3, - Dx + Dy)
o4 : Ideal of W</pre>
</td></tr>
</table>
</div>
</div>
<div class="single"><h2>Caveat</h2>
<div>The weight vector <em>w = (u,v)</em> must have <em>u+v>=0</em>.</div>
</div>
<div class="single"><h2>See also</h2>
<ul><li><span><a href="_inw.html" title="initial form/ideal w.r.t. a weight">inw</a> -- initial form/ideal w.r.t. a weight</span></li>
<li><span><a href="_set__Hom__Switch_lp__Boolean_rp.html" title="toggles the use of homogeneous Weyl algebra">setHomSwitch</a> -- toggles the use of homogeneous Weyl algebra</span></li>
</ul>
</div>
<div class="waystouse"><h2>Ways to use <tt>gbw</tt> :</h2>
<ul><li>gbw(Ideal,List)</li>
<li>gbw(Matrix,List)</li>
</ul>
</div>
</div>
</body>
</html>
