carl  24.04
Computer ARithmetic Library
Degree.h File Reference

Implements utility functions concerning the (total) degree of monomials, terms and polynomials. More...

Include dependency graph for Degree.h:
This graph shows which files directly or indirectly include this file:

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)
 

Detailed Description

Implements utility functions concerning the (total) degree of monomials, terms and polynomials.

Definition in file Degree.h.