ThomRootFinder.h File Reference

#include <carl-arith/interval/Interval.h>
#include "ThomEncoding.h"
#include "ThomUtil.h"
#include "ran_thom.h"

Include dependency graph for ThomRootFinder.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 Number >
std::list< ThomEncoding< Number > >	carl::realRootsThom (const MultivariatePolynomial< Number > &p, Variable::Arg mainVar, std::shared_ptr< ThomEncoding< Number >> point_ptr, const Interval< Number > &interval=Interval< Number >::unbounded_interval())
template<typename Number >
std::list< ThomEncoding< Number > >	carl::realRootsThom (const MultivariatePolynomial< Number > &p, Variable::Arg mainVar, const std::map< Variable, ThomEncoding< Number >> &m={}, const Interval< Number > &interval=Interval< Number >::unbounded_interval())
template<typename Coeff , typename Number >
std::list< RealAlgebraicNumber< Number > >	carl::realRootsThom (const UnivariatePolynomial< Coeff > &p, const std::map< Variable, RealAlgebraicNumber< Number >> &m, const Interval< Number > &interval)