Sophie

Sophie

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

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(Module) -- number of generators of a module</title>
<link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/>
</head>
<body>
<table class="buttons">
  <tr>
    <td><div><a href="_numgens_lp__Ring_rp.html">next</a> | <a href="_numgens_lp__Ideal_rp.html">previous</a> | <a href="_numgens_lp__Ring_rp.html">forward</a> | <a href="_numgens_lp__Ideal_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(Module) -- number of generators of a module</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 M</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>M</tt>, <span>a <a href="___Module.html">module</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 M</span></li>
</ul>
</div>
</li>
</ul>
</div>
<div class="single"><h2>Description</h2>
<div>In Macaulay2, each module comes equipped with a matrix of generators.  It is the number of columns of this matrix which is returned.  If the module is graded, 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 : M = ker vars R

o2 = image {1} | -b 0  -c 0  0  -d |
           {1} | a  -c 0  0  -d 0  |
           {1} | 0  b  a  -d 0  0  |
           {1} | 0  0  0  c  b  a  |

                             4
o2 : R-module, submodule of R</pre>
</td></tr>
<tr><td><pre>i3 : generators M

o3 = {1} | -b 0  -c 0  0  -d |
     {1} | a  -c 0  0  -d 0  |
     {1} | 0  b  a  -d 0  0  |
     {1} | 0  0  0  c  b  a  |

             4       6
o3 : Matrix R  &lt;--- R</pre>
</td></tr>
<tr><td><pre>i4 : numgens M

o4 = 6</pre>
</td></tr>
</table>
The number of generators of a free module is its rank.<table class="examples"><tr><td><pre>i5 : numgens R^10

o5 = 10</pre>
</td></tr>
</table>
</div>
</div>
<div class="single"><h2>See also</h2>
<ul><li><span><a href="_generators.html" title="provide matrix or list of generators">generators</a> -- provide matrix or list of generators</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="_prune.html" title="prune, e.g., compute a minimal presentation">prune</a> -- prune, e.g., compute a minimal presentation</span></li>
<li><span><a href="_mingens.html" title="minimal generator matrix">mingens</a> -- minimal generator matrix</span></li>
<li><span><a href="_kernel.html" title="kernel of a ringmap, matrix, or chain complex">kernel</a> -- kernel of a ringmap, matrix, or chain complex</span></li>
<li><span><a href="_vars.html" title="variables">vars</a> -- variables</span></li>
</ul>
</div>
</div>
</body>
</html>