carl  24.04
Computer ARithmetic Library
Division.h File Reference
Include dependency graph for Division.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  carl::DivisionResult< Type >
 A strongly typed pair encoding the result of a division, being a quotient and a remainder. More...
 

Namespaces

 carl
 carl is the main namespace for the library.
 

Functions

template<typename Coeff >
Term< Coeff > carl::divide (const Term< Coeff > &t, const Coeff &c)
 
template<typename Coeff >
bool carl::try_divide (const Term< Coeff > &t, const Coeff &c, Term< Coeff > &res)
 
template<typename Coeff >
bool carl::try_divide (const Term< Coeff > &t, Variable v, Term< Coeff > &res)
 
template<typename Coeff , typename Ordering , typename Policies >
MultivariatePolynomial< Coeff, Ordering, Policies > carl::divide (const MultivariatePolynomial< Coeff, Ordering, Policies > &p, const Coeff &divisor)
 Divides the polynomial by the given coefficient. More...
 
template<typename Coeff , typename Ordering , typename Policies >
bool carl::try_divide (const MultivariatePolynomial< Coeff, Ordering, Policies > &dividend, const MultivariatePolynomial< Coeff, Ordering, Policies > &divisor, MultivariatePolynomial< Coeff, Ordering, Policies > &quotient)
 Divides the polynomial by another polynomial. More...
 
template<typename Coeff , typename Ordering , typename Policies >
DivisionResult< MultivariatePolynomial< Coeff, Ordering, Policies > > carl::divide (const MultivariatePolynomial< Coeff, Ordering, Policies > &dividend, const MultivariatePolynomial< Coeff, Ordering, Policies > &divisor)
 Calculating the quotient and the remainder, such that for a given polynomial p we have p = divisor * quotient + remainder. More...
 
template<typename Coeff >
bool carl::try_divide (const UnivariatePolynomial< Coeff > &dividend, const Coeff &divisor, UnivariatePolynomial< Coeff > &quotient)
 
template<typename Coeff >
DivisionResult< UnivariatePolynomial< Coeff > > carl::divide (const UnivariatePolynomial< Coeff > &p, const Coeff &divisor)
 
template<typename Coeff >
DivisionResult< UnivariatePolynomial< Coeff > > carl::divide (const UnivariatePolynomial< Coeff > &p, const typename UnderlyingNumberType< Coeff >::type &divisor)
 
template<typename Coeff >
DivisionResult< UnivariatePolynomial< Coeff > > carl::divide (const UnivariatePolynomial< Coeff > &dividend, const UnivariatePolynomial< Coeff > &divisor)
 Divides the polynomial by another polynomial. More...
 
template<typename C , typename O , typename P >
MultivariatePolynomial< C, O, P > carl::operator/ (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)