|
carl
25.04
Computer ARithmetic Library
|
#include "to_univariate_polynomial.h"#include "../MultivariatePolynomial.h"#include "../UnivariatePolynomial.h"

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) |