 LIB "signcond.lib";
ring r = 0,(x,y),dp;
ideal i = (x2)*(x+3)*x,y*(y1);
ideal P = x,y;
list l = signcnd(P,i);
size(l[1]); // = the number of sign conditions of P on V(i)
==> 6
//Each element of l[1] indicates a sign condition of the polynomials of P.
//The following means P[1] > 0, P[2] = 0:
l[1][2];
==> [1]:
==> 1
==> [2]:
==> 0
//Each element of l[2] indicates how many elements of V(I) give rise to
//the sign condition expressed by the same position on the first list.
//The following means that exactly 1 element of V(I) gives rise to the
//condition P[1] > 0, P[2] = 0:
l[2][2];
==> 1
