|
D.12.8 rootsur_lib
- Library:
- rootsur.lib
- Purpose:
- Counting number of real roots of univariate polynomial
- Author:
- Enrique A. Tobis, etobis@dc.uba.ar
- Overview:
- Routines for bounding and counting the number of real roots of a
univariate polynomial, by means of several different methods, namely
Descartes' rule of signs, the Budan-Fourier theorem, Sturm sequences
and Sturm-Habicht sequences. The first two give bounds on the number
of roots. The other two compute the actual number of roots of the
polynomial. There are several wrapper functions, to simplify the
application of the aforesaid theorems and some functions
to determine whether a given polynomial is univariate.
- References:
- Basu, Pollack, Roy, "Algorithms in Real Algebraic
Geometry", Springer, 2003.
Procedures:
|