|
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 Coeff , typename Subst > | |
| Subst | carl::evaluate (const FactorizedPolynomial< Coeff > &p, const std::map< Variable, Subst > &substitutions) |
| Like substitute, but expects substitutions for all variables. More... | |
| template<typename P , typename Numeric > | |
| Interval< Numeric > | carl::evaluate (const FactorizedPolynomial< P > &p, const std::map< Variable, Interval< Numeric >> &map) |