
<A NAME=gzerodim_>

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



<B>GZERODIM?</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>gzerodim!?</em>(&lt;basis&gt;) 
<P>
<P>
<P>
<P>
where &lt;bas&gt; is a Groebner basis in the current 

<A HREF=r37_0353.html>term order</A> with the actual setting 
(see 
<A HREF=r37_0352.html>ideal parameters</A>). 
<P>
<P>
<em>gzerodim!?</em>tests whether the ideal spanned by the given basis 
has dimension zero. If yes, the number of zeros is returned, 

<A HREF=r37_0014.html>nil</A> otherwise. 
<P>
<P>
