File r37/lisp/csl/html/r37_0400.html artifact 9785110ea0 part of check-in 3af273af29

<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>