Artifact 097bacf4e7583b602af9610cc84c984e350e5c990d41fa9933278c72abc6df4b:

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

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