Substitution.h File Reference

#include "SqrtEx.h"

Include dependency graph for Substitution.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Poly >
SqrtEx< Poly >	carl::substitute (const SqrtEx< Poly > &sqrt_ex, const std::map< Variable, typename SqrtEx< Poly >::Rational > &eval_map)
template<typename Poly >
SqrtEx< Poly >	carl::substitute (const Poly &_substituteIn, const carl::Variable _varToSubstitute, const SqrtEx< Poly > &_substituteBy)
	Substitutes a variable in an expression by a square root expression, which results in a square root expression. More...