
D.8.7 signcond_lib
 Library:
 signcond.lib
 Purpose:
 Routines for computing realizable sign conditions
 Author:
 Enrique A. Tobis, etobis@dc.uba.ar
 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:
