carl  24.04
Computer ARithmetic Library
Monomial.cpp File Reference
#include "Monomial.h"
#include "MonomialPool.h"
#include <carl-logging/carl-logging.h>
Include dependency graph for Monomial.cpp:

Go to the source code of this file.

Namespaces

 carl
 carl is the main namespace for the library.
 

Functions

Monomial::Arg carl::pow (Variable v, std::size_t exp)
 
Multiplication operators
Monomial::Arg carl::operator* (const Monomial::Arg &lhs, const Monomial::Arg &rhs)
 Perform a multiplication involving a monomial. More...
 
Monomial::Arg carl::operator* (const Monomial::Arg &lhs, Variable rhs)
 Perform a multiplication involving a monomial. More...
 
Monomial::Arg carl::operator* (Variable lhs, const Monomial::Arg &rhs)
 Perform a multiplication involving a monomial. More...
 
Monomial::Arg carl::operator* (Variable lhs, Variable rhs)
 Perform a multiplication involving a monomial. More...