| carl
    25.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) |