carl
24.04
Computer ARithmetic Library
|
Go to the source code of this file.
Namespaces | |
carl | |
carl is the main namespace for the library. | |
carl::detail | |
Functions | |
template<typename CoeffType > | |
void | carl::detail::var_info_term (VarInfo< CoeffType > &info, const typename CoeffType::TermType &term, const Variable var, bool collect_coeff) |
template<typename Coeff , typename Ordering , typename Policies > | |
void | carl::detail::vars_info_term (VarsInfo< MultivariatePolynomial< Coeff, Ordering, Policies >> &infos, const typename MultivariatePolynomial< Coeff, Ordering, Policies >::TermType &term, bool collect_coeff) |
template<typename Coeff , typename Ordering , typename Policies > | |
VarInfo< MultivariatePolynomial< Coeff, Ordering, Policies > > | carl::var_info (const MultivariatePolynomial< Coeff, Ordering, Policies > &poly, const Variable var, bool collect_coeff=false) |
template<typename Coeff , typename Ordering , typename Policies > | |
VarsInfo< MultivariatePolynomial< Coeff, Ordering, Policies > > | carl::vars_info (const MultivariatePolynomial< Coeff, Ordering, Policies > &poly, bool collect_coeff=false) |