ThomEvaluation.h File Reference

#include "ran_thom.h"

Include dependency graph for ThomEvaluation.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Number >
RealAlgebraicNumber< Number >	carl::evaluateTE (const MultivariatePolynomial< Number > &p, std::map< Variable, RealAlgebraicNumber< Number >> &m)