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