Artifact 9cec41c8938e12da04b00619c1acccc064f00cf62a8a3da05b81e6d19efaf1e6:

• Executable file r37/lisp/csl/html/r37_0381.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: 734) [annotate] [blame] [check-ins using] [more...]

<A NAME=gdimension>

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



<B>GDIMENSION</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
 <P>
<P>
 <P> <H3> 
syntax: </H3>
<em>gdimension</em>(&lt;bas&gt;) 
<P>
<P>
<P>
<P>
where &lt;bas&gt; is a 
<A HREF=r37_0381.html>groebner</A> basis in the current 
term order (see 
<A HREF=r37_0352.html>ideal parameters</A>). 
<em>gdimension</em> computes the dimension of the ideal 
spanned by the given basis and returns the dimension as an integer 
number. The Kredel-Weispfenning algorithm is used: the dimension 
is the length of the longest independent variable set, 
see 
<A HREF=r37_0382.html>gindependent_sets</A> 
<P>
<P>