<?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>Gröbner bases</title>
<link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/>
</head>
<body>
<table class="buttons">
<tr>
<td><div><a href="_what_spis_spa_sp__Groebner_spbasis_qu.html">next</a> | <a href="___Variety.html">previous</a> | <a href="_normal_spforms.html">forward</a> | <a href="_varieties.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="">Macaulay2Doc</a> > <a href="___Gröbner_spbases.html" title="">Gröbner bases</a></div>
<hr/>
<div><h1>Gröbner bases</h1>
<div>A Groebner basis is a specific generating set for an ideal or submodule, often used to compute other information, such as numerical invariants, operations such as intersections and ideal quotients, syzygies, etc. In Macaulay2, Groebner bases are computed behind the scenes when needed, and the Groebner basis is cached in case it is needed later.<p/>
See <a href="___Groebner__Basis.html" title="the class of all Gröbner bases">GroebnerBasis</a> for additional common operations and a comprehensive list of all routines in Macaulay2 which either take Groebner bases as arguments, or return one.<p/>
In Macaulay2, Groebner bases may be computed for ideals and submodules over the following rings:<ul><li><a href="___Z__Z.html" title="the class of all integers">ZZ</a> -- Hermite normal form</li>
<li>fields -- Gaussian elimination</li>
<li>polynomial rings over a field or over the integers (including skew commutative multiplication)</li>
<li>quotients of such rings</li>
<li>Weyl algebras</li>
</ul>
Groebner bases of ideals in polynomial rings over other polynomial rings are also allowed.</div>
<div><h3>Menu</h3>
<ul><li><span><a href="_what_spis_spa_sp__Groebner_spbasis_qu.html" title="">what is a Groebner basis?</a></span></li>
<li><span><a href="___Groebner_spbasis_spexamples_spand_spapplications.html" title="">Groebner basis examples and applications</a></span></li>
</ul>
<h4>fine control of Groebner basis computations</h4>
<ul><li><span><a href="_computing_sp__Groebner_spbases.html" title="">computing Groebner bases</a></span></li>
</ul>
</div>
</div>
</body>
</html>
