carl
24.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... | |