carl
24.04
Computer ARithmetic Library
|
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) |