|
carl
25.02
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) |