carl  24.04
Computer ARithmetic Library
MultivariatePolynomial_operators.h File Reference
Include dependency graph for MultivariatePolynomial_operators.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

Equality comparison operators
template<typename C , typename O , typename P >
bool carl::operator== (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P , DisableIf< std::is_integral< C >> = dummy>
bool carl::operator== (const MultivariatePolynomial< C, O, P > &lhs, int rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const UnivariatePolynomial< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< C > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const UnivariatePolynomial< MultivariatePolynomial< C >> &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator== (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< MultivariatePolynomial< C >> &rhs)
 Checks if the two arguments are equal. More...
 
Inequality comparison operators
template<typename C , typename O , typename P >
bool carl::operator!= (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const UnivariatePolynomial< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< C > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const UnivariatePolynomial< MultivariatePolynomial< C >> &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the two arguments are not equal. More...
 
template<typename C , typename O , typename P >
bool carl::operator!= (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< MultivariatePolynomial< C >> &rhs)
 Checks if the two arguments are not equal. More...
 
Less than comparison operators
template<typename C , typename O , typename P >
bool carl::operator< (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first arguments is less than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator< (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Checks if the first arguments is less than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator< (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Checks if the first arguments is less than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator< (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Checks if the first arguments is less than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator< (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Checks if the first arguments is less than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator< (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first arguments is less than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator< (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first arguments is less than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator< (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first arguments is less than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator< (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first arguments is less than the second. More...
 
Greater than comparison operators
template<typename C , typename O , typename P >
bool carl::operator> (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const UnivariatePolynomial< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< C > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const UnivariatePolynomial< MultivariatePolynomial< C >> &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator> (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< MultivariatePolynomial< C >> &rhs)
 Checks if the first argument is greater than the second. More...
 
Less or equal comparison operators
template<typename C , typename O , typename P >
bool carl::operator<= (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const UnivariatePolynomial< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< C > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const UnivariatePolynomial< MultivariatePolynomial< C >> &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is less or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator<= (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< MultivariatePolynomial< C >> &rhs)
 Checks if the first argument is less or equal than the second. More...
 
Greater or equal comparison operators
template<typename C , typename O , typename P >
bool carl::operator>= (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const UnivariatePolynomial< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< C > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const UnivariatePolynomial< MultivariatePolynomial< C >> &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
template<typename C , typename O , typename P >
bool carl::operator>= (const MultivariatePolynomial< C, O, P > &lhs, const UnivariatePolynomial< MultivariatePolynomial< C >> &rhs)
 Checks if the first argument is greater or equal than the second. More...
 
Addition operators
template<typename C , typename O , typename P >
auto carl::operator+ (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator+ (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator+ (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator+ (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator+ (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator+ (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C >
auto carl::operator+ (const Term< C > &lhs, const Term< C > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C >
auto carl::operator+ (const Term< C > &lhs, const Monomial::Arg &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C >
auto carl::operator+ (const Term< C > &lhs, Variable rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C >
auto carl::operator+ (const Term< C > &lhs, const C &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator+ (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C >
auto carl::operator+ (const Monomial::Arg &lhs, const Term< C > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , EnableIf< carl::is_number_type< C >> = dummy>
auto carl::operator+ (const Monomial::Arg &lhs, const C &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator+ (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C >
auto carl::operator+ (Variable lhs, const Term< C > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , EnableIf< carl::is_number_type< C >> = dummy>
auto carl::operator+ (Variable lhs, const C &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator+ (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C >
auto carl::operator+ (const C &lhs, const Term< C > &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , EnableIf< carl::is_number_type< C >> = dummy>
auto carl::operator+ (const C &lhs, const Monomial::Arg &rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
template<typename C , EnableIf< carl::is_number_type< C >> = dummy>
auto carl::operator+ (const C &lhs, Variable rhs)
 Performs an addition involving a polynomial using operator+=(). More...
 
Subtraction operators
template<typename C , typename O , typename P >
auto carl::operator- (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator- (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator- (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator- (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator- (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator- (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C >
auto carl::operator- (const Term< C > &lhs, const Term< C > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C >
auto carl::operator- (const Term< C > &lhs, const Monomial::Arg &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C >
auto carl::operator- (const Term< C > &lhs, Variable rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C >
auto carl::operator- (const Term< C > &lhs, const C &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator- (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C >
auto carl::operator- (const Monomial::Arg &lhs, const Term< C > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , EnableIf< carl::is_number_type< C >> = dummy>
auto carl::operator- (const Monomial::Arg &lhs, const C &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator- (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C >
auto carl::operator- (Variable lhs, const Term< C > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , EnableIf< carl::is_number_type< C >> = dummy>
auto carl::operator- (Variable lhs, const C &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator- (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C >
auto carl::operator- (const C &lhs, const Term< C > &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , EnableIf< carl::is_number_type< C >> = dummy>
auto carl::operator- (const C &lhs, const Monomial::Arg &rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
template<typename C , EnableIf< carl::is_number_type< C >> = dummy>
auto carl::operator- (const C &lhs, Variable rhs)
 Performs a subtraction involving a polynomial using operator-=(). More...
 
Multiplication operators
template<typename C , typename O , typename P >
auto carl::operator* (const MultivariatePolynomial< C, O, P > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator* (const MultivariatePolynomial< C, O, P > &lhs, const Term< C > &rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator* (const MultivariatePolynomial< C, O, P > &lhs, const Monomial::Arg &rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator* (const MultivariatePolynomial< C, O, P > &lhs, Variable rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator* (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator* (const Term< C > &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator* (const Monomial::Arg &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator* (Variable lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...
 
template<typename C , typename O , typename P >
auto carl::operator* (const C &lhs, const MultivariatePolynomial< C, O, P > &rhs)
 Perform a multiplication involving a polynomial using operator*=(). More...