Top
Back: signcond_lib
Forward: psigncnd
FastBack: rootsmr_lib
FastForward: rootsur_lib
Up: signcond_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.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. That 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 explanation 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
firstoct, psigncnd


Top Back: signcond_lib Forward: psigncnd FastBack: rootsmr_lib FastForward: rootsur_lib Up: signcond_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.