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