#include "Evaluation.h"
#include "SturmSequence.h"
#include <carl-arith/core/Sign.h>
#include "../UnivariatePolynomial.h"
#include <cassert>

Include dependency graph for RootCounting.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 Coefficient >
int	carl::count_real_roots (const std::vector< UnivariatePolynomial< Coefficient >> &seq, const Interval< Coefficient > &i)
	Calculate the number of real roots of a polynomial within a given interval based on a sturm sequence of this polynomial. More...

template<typename Coefficient >
int	carl::count_real_roots (const UnivariatePolynomial< Coefficient > &p, const Interval< Coefficient > &i)
	Count the number of real roots of p within the given interval using Sturm sequences. More...

Namespaces

Functions