Artifact 9785110ea07042be88d64a062d80986bdf0613cedf1f56d200f9fa239103c640:

• Executable file r37/lisp/csl/html/r37_0400.html — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 737) [annotate] [blame] [check-ins using] [more...]

<A NAME=Module>

<TITLE>Module</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>MODULE</B><P>
<P>
 
Given a polynomial ring, e.g. R=Z[x,y,...] and an integer n&gt;1. 
The vectors with n elements of R form a free MODULE under 
elementwise addition and multiplication with elements of R. 
<P>
<P>
For a submodule given by a finite basis a Groebner basis 
can be computed, and the facilities of the GROEBNER package 
are available except the operators 
<A HREF=r37_0390.html>groebnerf</A> 
and <em>groesolve</em>. The vectors are encoded using auxiliary 
variables which represent the unit vectors in the module. 
These are declared in the share variable 
<A HREF=r37_0401.html>gmodule</A>. 
<P>
<P>