|
carl
25.04
Computer ARithmetic Library
|


Go to the source code of this file.
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| template<typename Coeff > | |
| std::vector< UnivariatePolynomial< Coeff > > | carl::sturm_sequence (const UnivariatePolynomial< Coeff > &p, const UnivariatePolynomial< Coeff > &q) |
| Computes the sturm sequence of two polynomials. More... | |
| template<typename Coeff > | |
| std::vector< UnivariatePolynomial< Coeff > > | carl::sturm_sequence (const UnivariatePolynomial< Coeff > &p) |
| Computes the sturm sequence of a polynomial as defined at [3], page 333, example 22. More... | |