Artifact 6ef8b85739e0833852e302ea9524901ed1a2ba514af0eaf2799cf6bda9f6f417:

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

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