File r37/lisp/csl/html/r37_0381.html artifact 9cec41c893 part of check-in 955d0a90a7

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