Home Online Manual
Top
Back: signcond_lib
Forward: psigncnd
FastBack: zeroset_lib
FastForward: Visualization
Up: signcond_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.7.1 signcnd

Procedure from library signcond.lib (see signcond_lib).

Usage:
signcnd(P,I); ideal P,I

Return:
list: the sign conditions realized by the polynomials of P on V(I). The output of signcnd is a list of two lists. Both lists have the same length. This length is the number of sign conditions realized by the polynomials of P on the set V(i).
Each element of the first list indicates a sign condition of the polynomials of P.
Each element of the second list indicates how many elements of V(I) give rise to the sign condition expressed by the same position on the first list.
See the example for further explanations of the output.

Assume:
I is a Groebner basis.

Note:
The procedure psigncnd performs some pretty printing of this output.

Example:
 
LIB "signcond.lib";
ring r = 0,(x,y),dp;
ideal i = (x-2)*(x+3)*x,y*(y-1);
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
See also: firstoct; psigncnd.