Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > 7ebd25ac536d248d499a3ce2acda963a > files > 4832

Macaulay2-1.3.1-8.fc15.i686.rpm

<?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>numgens(Ideal) -- number of generators of an ideal</title>
<link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/>
</head>
<body>
<table class="buttons">
  <tr>
    <td><div><a href="_numgens_lp__Module_rp.html">next</a> | <a href="_numgens_lp__General__Ordered__Monoid_rp.html">previous</a> | <a href="_numgens_lp__Module_rp.html">forward</a> | <a href="_numgens_lp__General__Ordered__Monoid_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>numgens(Ideal) -- number of generators of an ideal</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>numgens I</tt></div>
</dd></dl>
</div>
</li>
<li><span>Function: <a href="_numgens.html" title="the number of generators">numgens</a></span></li>
<li><div class="single">Inputs:<ul><li><span><tt>I</tt>, <span>an <a href="___Ideal.html">ideal</a></span></span></li>
</ul>
</div>
</li>
<li><div class="single">Outputs:<ul><li><span><span>an <a href="___Z__Z.html">integer</a></span>, number of generators of I</span></li>
</ul>
</div>
</li>
</ul>
</div>
<div class="single"><h2>Description</h2>
<div>In Macaulay2, each ideal comes equipped with a matrix of generators.  It is the number of columns of this matrix that is returned.  If the ideal is homogeneous, this may or may not be the number of minimal generators.<table class="examples"><tr><td><pre>i1 : R = QQ[a..d];</pre>
</td></tr>
<tr><td><pre>i2 : I = ideal(a^2-b*d, a^2-b*d, c^2, d^2);

o2 : Ideal of R</pre>
</td></tr>
<tr><td><pre>i3 : numgens I

o3 = 4</pre>
</td></tr>
</table>
<p/>
In order to find a more efficient set of of generators, use <a href="_mingens.html" title="minimal generator matrix">mingens</a> or <a href="_trim.html" title="minimize generators and relations">trim</a>.<table class="examples"><tr><td><pre>i4 : mingens I

o4 = | d2 c2 a2-bd |

             1       3
o4 : Matrix R  &lt;--- R</pre>
</td></tr>
<tr><td><pre>i5 : numgens trim I

o5 = 3</pre>
</td></tr>
</table>
</div>
</div>
<div class="single"><h2>See also</h2>
<ul><li><span><a href="_mingens.html" title="minimal generator matrix">mingens</a> -- minimal generator matrix</span></li>
<li><span><a href="_trim.html" title="minimize generators and relations">trim</a> -- minimize generators and relations</span></li>
<li><span><a href="_generators.html" title="provide matrix or list of generators">generators</a> -- provide matrix or list of generators</span></li>
</ul>
</div>
</div>
</body>
</html>