Home Online Manual
Top
Back: signcnd
Forward: firstoct
FastBack:
FastForward:
Up: signcond_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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.