### D.8.9 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:

> 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

User manual for Singular version 4.4.1, 2025, generated by texi2html.