carl
24.04
Computer ARithmetic Library
|
Implements utility functions concerning the (total) degree of monomials, terms and polynomials. More...
Go to the source code of this file.
Namespaces | |
carl | |
carl is the main namespace for the library. | |
Functions | |
auto | carl::total_degree (const Monomial &m) |
Gives the total degree, i.e. More... | |
bool | carl::is_constant (const Monomial &m) |
Checks whether the monomial is a constant. More... | |
bool | carl::is_linear (const Monomial &m) |
Checks whether the monomial has exactly degree one. More... | |
bool | carl::is_at_most_linear (const Monomial &m) |
Checks whether the monomial has at most degree one. More... | |
template<typename Coeff > | |
std::size_t | carl::total_degree (const Term< Coeff > &t) |
Gives the total degree, i.e. More... | |
template<typename Coeff > | |
bool | carl::is_constant (const Term< Coeff > &t) |
Checks whether the monomial is a constant. More... | |
template<typename Coeff > | |
bool | carl::is_linear (const Term< Coeff > &t) |
Checks whether the monomial has exactly the degree one. More... | |
template<typename Coeff > | |
bool | carl::is_at_most_linear (const Term< Coeff > &t) |
Checks whether the monomial has at most degree one. More... | |
template<typename Coeff , typename Ordering , typename Policies > | |
std::size_t | carl::total_degree (const MultivariatePolynomial< Coeff, Ordering, Policies > &p) |
Calculates the max. More... | |
template<typename Coeff , typename Ordering , typename Policies > | |
bool | carl::is_constant (const MultivariatePolynomial< Coeff, Ordering, Policies > &p) |
Check if the polynomial is linear. More... | |
template<typename Coeff , typename Ordering , typename Policies > | |
bool | carl::is_linear (const MultivariatePolynomial< Coeff, Ordering, Policies > &p) |
Check if the polynomial is linear. More... | |
template<typename Coeff > | |
std::size_t | carl::total_degree (const UnivariatePolynomial< Coeff > &p) |
Returns the total degree of the polynomial, that is the maximum degree of any monomial. More... | |
template<typename Coeff > | |
bool | carl::is_constant (const UnivariatePolynomial< Coeff > &p) |
Checks whether the polynomial is constant with respect to the main variable. More... | |
template<typename Coeff > | |
bool | carl::is_linear (const UnivariatePolynomial< Coeff > &p) |
Implements utility functions concerning the (total) degree of monomials, terms and polynomials.
Definition in file Degree.h.