|
|
D.8.7.2 psigncnd
Procedure from library signcond.lib (see signcond_lib).
- Usage:
- psigncnd(P,l); ideal P, list l
- Return:
- list: a formatted version of l
Example:
| | LIB "signcond.lib";
ring r = 0,(x,y),dp;
ideal i = (x-2)*(x+3)*x,(y-1)*(y+2)*(y+4);
ideal P = x,y;
list l = signcnd(P,i);
psigncnd(P,l);
==> 1 elements of V(I) satisfy {P[1] = 0,P[2] > 0}
==> 1 elements of V(I) satisfy {P[1] > 0,P[2] > 0}
==> 1 elements of V(I) satisfy {P[1] < 0,P[2] > 0}
==> 2 elements of V(I) satisfy {P[1] = 0,P[2] < 0}
==> 2 elements of V(I) satisfy {P[1] > 0,P[2] < 0}
==> 2 elements of V(I) satisfy {P[1] < 0,P[2] < 0}
==>
|
See also:
signcnd.
|
