|
carl
25.02
Computer ARithmetic Library
|
#include <carl-common/config.h>#include <carl-arith/poly/ctxpoly/ContextPolynomial.h>#include <carl-arith/poly/libpoly/LPPolynomial.h>#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>

Go to the source code of this file.
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
| carl::convert_poly | |
Functions | |
| template<typename T , typename S , std::enable_if_t< is_polynomial_type< T >::value &&is_polynomial_type< S >::value &&!needs_context_type< T >::value, int > = 0> | |
| T | carl::convert (const S &r) |
| template<typename T , typename S , std::enable_if_t< is_polynomial_type< T >::value &&is_polynomial_type< S >::value &&needs_context_type< T >::value, int > = 0> | |
| T | carl::convert (const typename T::ContextType &c, const S &r) |