carl  24.04
Computer ARithmetic Library
Evaluation.h File Reference
Include dependency graph for Evaluation.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 >
Coefficient carl::evaluate (const Monomial &m, const std::map< Variable, Coefficient > &substitutions)
 
template<typename Coefficient >
Coefficient carl::evaluate (const Term< Coefficient > &t, const std::map< Variable, Coefficient > &map)
 
template<typename C , typename O , typename P , typename SubstitutionType >
SubstitutionType carl::evaluate (const MultivariatePolynomial< C, O, P > &p, const std::map< Variable, SubstitutionType > &substitutions)
 Like substitute, but expects substitutions for all variables. More...
 
template<typename Coeff >
Coeff carl::evaluate (const UnivariatePolynomial< Coeff > &p, const Coeff &value)
 
template<typename Coeff >
bool carl::is_root_of (const UnivariatePolynomial< Coeff > &p, const Coeff &value)