|  |  D.8.9.3 firstoct Procedure from librarysigncond.lib(see  signcond_lib).
 
Example:Usage:
firstoct(I); I ideal
Return:
number: the number of points of V(I) lying in the first octant
Assume:
I is given by a Groebner basis.
 See also:
 signcnd.|  | LIB "signcond.lib";
ring r = 0,(x,y),dp;
ideal i = (x-2)*(x+3)*x,y*(y-1);
firstoct(i);
==> 1
 | 
 
 |