File r37/lisp/csl/html/r37_0393.html artifact 6ef8b85739 part of check-in e1a8550313



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


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]