<A NAME=groebrestriction>
<TITLE>groebrestriction</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>
<B>GROEBRESTRICTION</B> _ _ _ _ _ _ _ _ _ _ _ _ <B>variable</B><P>
<P>
During
<A HREF=r37_0390.html>groebnerf</A> calculations
irrelevant branches can be excluded
by setting the variable <em>groebrestriction</em>. The
following restrictions are implemented:
<P> <H3>
syntax: </H3>
<P>
<P>
<em>groebrestriction</em>:= <em>nonnegative</em>
<P>
<P>
<em>groebrestriction</em>:= <em>positive</em>
<P>
<P>
<em>groebrestriction</em>:= <em>zeropoint</em>
<P>
<P>
<P>
With <em>nonnegative</em> branches are excluded where one
polynomial has no nonnegative real zeros; with <em>positive</em>
the restriction is sharpened to positive zeros only.
The restriction <em>zeropoint</em> excludes all branches
which do not have the origin (0,0,...0) in their solution
set.
<P>
<P>