Top
Back: qbase
Forward: signcnd
FastBack: rootsmr_lib
FastForward: rootsur_lib
Up: Symbolic-numerical solving
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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

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


Top Back: qbase Forward: signcnd FastBack: rootsmr_lib FastForward: rootsur_lib Up: Symbolic-numerical solving 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.