Home Online Manual
Top
Back: generalOrder
Forward: nrRootsProbab
FastBack: weierstr_lib
FastForward: rootsur_lib
Up: Teaching
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.7 rootsmr_lib

Library:
rootsmr.lib
Purpose:
Counting the number of real roots of polynomial systems
Author:
Enrique A. Tobis, etobis@dc.uba.ar

Overview:
Routines for counting the number of real roots of a multivariate polynomial system. Two methods are implemented: deterministic computation of the number of roots, via the signature of a certain bilinear form (nrRootsDeterm); and a rational univariate projection, using a pseudorandom polynomial (nrRootsProbab). It also includes a command to verify the correctness of the pseudorandom answer.

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

Procedures:

D.12.7.1 nrRootsProbab  Number of real roots of 0-dim ideal (probabilistic)
D.12.7.2 nrRootsDeterm  Number of real roots of 0-dim ideal (deterministic)
D.12.7.3 symsignature  Signature of the symmetric matrix m
D.12.7.4 sturmquery  Sturm query of h on V(I)
D.12.7.5 matbil  Matrix of the bilinear form on R/I associated to h
D.12.7.6 matmult  Matrix of multiplication by f (m_f) on R/I in the basis B
D.12.7.7 tracemult  Trace of m_f (B is an ordered basis of R/I)
D.12.7.8 coords  Coordinates of f in the ordered basis B
D.12.7.9 randcharpoly  Pseudorandom charpoly of univ. projection, n optional
D.12.7.10 verify  Verifies the result of randcharpoly
D.12.7.11 randlinpoly  Pseudorandom linear polynomial, n optional
D.12.7.12 powersums  Powersums of the roots of a char polynomial
D.12.7.13 symmfunc  Symmetric functions from the powersums S
D.12.7.14 univarpoly  Polynomial with coefficients from l
D.12.7.15 qbase  Like kbase, but the monomials are ordered