Top
Back: varsigns
Forward: boundposDes
FastBack: rootsmr_lib
FastForward: Tropical Geometry
Up: rootsur_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.8.4 boundBuFou

Procedure from library rootsur.lib (see rootsur_lib).

Usage:
boundBuFou(p,a,b); p poly, a,b number

Return:
int: an upper bound for the number of real roots of p in (a,b], with the same parity as the actual number of roots (using the Budan-Fourier Theorem)

Assume:
- p is a univariate polynomial with rational coefficients
- a, b are rational numbers with a < b

Example:
 
See also: boundposDes; varsigns.


Top Back: varsigns Forward: boundposDes FastBack: rootsmr_lib FastForward: Tropical Geometry Up: rootsur_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.