carl  24.04
Computer ARithmetic Library
Representation.h File Reference
Include dependency graph for Representation.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 >
UnivariatePolynomial< MultivariatePolynomial< typename UnderlyingNumberType< Coeff >::type > > carl::switch_main_variable (const UnivariatePolynomial< Coeff > &p, Variable newVar)
 Switches the main variable using a purely syntactical restructuring. More...
 
template<typename Coeff >
UnivariatePolynomial< Coeff > carl::replace_main_variable (const UnivariatePolynomial< Coeff > &p, Variable newVar)
 Replaces the main variable in a polynomial. More...
 
template<typename C , typename O , typename P >
MultivariatePolynomial< C, O, P > carl::switch_variable (const MultivariatePolynomial< C, O, P > &p, Variable old_var, Variable new_var)