carl  24.04
Computer ARithmetic Library
SturmSequence.h File Reference
#include "Derivative.h"
#include "Remainder.h"
#include "../UnivariatePolynomial.h"
Include dependency graph for SturmSequence.h:
This graph shows which files directly or indirectly include this file:

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