|
D.12.8.13 sturmhaseq
Procedure from library rootsur.lib (see rootsur_lib).
- Usage:
- sturmhaseq(P); P poly.
- Return:
- list: the non-zero polynomials of the Sturm-Habicht sequence of P
- Assume:
- P is a univariate polynomial.
- Theory:
- The Sturm-Habicht sequence (also subresultant sequence) is closely
related to the Sturm sequence, but behaves better with respect to
the size of the coefficients. It is defined via subresultants.
See: Basu, Pollack, Roy, Algorithms in Real Algebraic Geometry,
Springer, 2003.
Example:
See also:
sturm;
sturmha;
sturmseq.
|