D.8.9 signcond_lib

Library:

signcond.lib

Purpose:

Routines for computing realizable sign conditions

Author:

Enrique A. Tobis, [email protected]

Overview:

Routines to determine the number of solutions of a multivariate polynomial system which satisfy a given sign configuration.

References:

Basu, Pollack, Roy, "Algorithms in Real Algebraic Geometry", Springer, 2003.

Procedures:

D.8.9.1 signcnd		The sign conditions realized by polynomials of P on a V(I)
D.8.9.2 psigncnd		Pretty prints the output of signcnd (l)
D.8.9.3 firstoct		The number of elements of V(I) with every coordinate > 0