Substitution.h File Reference

#include "Degree.h"
#include "Evaluation.h"
#include "Power.h"
#include "../Monomial.h"

Include dependency graph for Substitution.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 Coeff >
Coeff	carl::substitute (const Monomial &m, const std::map< Variable, Coeff > &substitutions)
	Applies the given substitutions to a monomial. More...
template<typename Coeff >
Term< Coeff >	carl::substitute (const Term< Coeff > &t, const std::map< Variable, Coeff > &substitutions)
template<typename Coeff >
Term< Coeff >	carl::substitute (const Term< Coeff > &t, const std::map< Variable, Term< Coeff >> &substitutions)
template<typename C , typename O , typename P >
void	carl::substitute_inplace (MultivariatePolynomial< C, O, P > &p, Variable var, const MultivariatePolynomial< C, O, P > &value)
template<typename C , typename O , typename P >
MultivariatePolynomial< C, O, P >	carl::substitute (const MultivariatePolynomial< C, O, P > &p, Variable var, const MultivariatePolynomial< C, O, P > &value)
template<typename C , typename O , typename P , typename S >
MultivariatePolynomial< C, O, P >	carl::substitute (const MultivariatePolynomial< C, O, P > &p, const std::map< Variable, S > &substitutions)
template<typename C , typename O , typename P >
MultivariatePolynomial< C, O, P >	carl::substitute (const MultivariatePolynomial< C, O, P > &p, const std::map< Variable, Term< C >> &substitutions)
template<typename C , typename O , typename P >
MultivariatePolynomial< C, O, P >	carl::substitute (const MultivariatePolynomial< C, O, P > &p, const std::map< Variable, MultivariatePolynomial< C, O, P >> &substitutions)
template<typename Coeff >
void	carl::substitute_inplace (UnivariatePolynomial< Coeff > &p, Variable var, const Coeff &value)
template<typename Coeff >
UnivariatePolynomial< Coeff >	carl::substitute (const UnivariatePolynomial< Coeff > &p, Variable var, const Coeff &value)
template<typename Rational >
void	carl::substitute_inplace (MultivariatePolynomial< Rational > &p, Variable var, const Rational &r)
	Substitutes a variable with a rational within a polynomial. More...
template<typename Poly , typename Rational >
void	carl::substitute_inplace (UnivariatePolynomial< Poly > &p, Variable var, const Rational &r)