carl
24.04
Computer ARithmetic Library
|
#include "../MultivariatePolynomial.h"
#include "../UnivariatePolynomial.h"
#include <carl-arith/core/Variables.h>
Go to the source code of this file.
Namespaces | |
carl | |
carl is the main namespace for the library. | |
Functions | |
template<typename C , typename O , typename P > | |
UnivariatePolynomial< C > | carl::to_univariate_polynomial (const MultivariatePolynomial< C, O, P > &p) |
Convert a univariate polynomial that is currently (mis)represented by a 'MultivariatePolynomial' into a more appropiate 'UnivariatePolynomial' representation. More... | |
template<typename C , typename O , typename P > | |
UnivariatePolynomial< MultivariatePolynomial< C, O, P > > | carl::to_univariate_polynomial (const MultivariatePolynomial< C, O, P > &p, Variable v) |
Convert a multivariate polynomial that is currently represented by a MultivariatePolynomial into a UnivariatePolynomial representation. More... | |