Functions |
BooleMonomial | polybori::operator* (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Multiplication of monomials.
|
BooleMonomial | polybori::operator* (const BooleMonomial &lhs, const BooleVariable &rhs) |
| Multiplication of monomials.
|
BoolePolynomial | polybori::operator* (const BooleMonomial &lhs, BooleConstant rhs) |
| Multiplication of monomials.
|
BoolePolynomial | polybori::operator* (BooleConstant lhs, const BooleMonomial &rhs) |
| Multiplication of monomials.
|
BooleMonomial | polybori::operator/ (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Division of monomials.
|
BooleMonomial | polybori::operator/ (const BooleMonomial &lhs, const BooleVariable &rhs) |
| Division of monomials.
|
BooleMonomial::bool_type | polybori::operator< (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Less than comparision.
|
BooleMonomial::bool_type | polybori::operator> (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Greater than comparision.
|
BooleMonomial::bool_type | polybori::operator<= (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Less or equal than comparision.
|
BooleMonomial::bool_type | polybori::operator>= (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Greater or equal than comparision.
|
BooleMonomial | polybori::GCD (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Compute the greatest common divisor of two monomials.
|
BooleMonomial | polybori::LCM (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Compute the greatest common divisor of two monomials.
|
BoolePolynomial | polybori::operator* (const BooleVariable &lhs, const BooleConstant &rhs) |
| Multiplication of variables by a 0 or 1.
|
BoolePolynomial | polybori::operator* (const BooleConstant &lhs, const BooleVariable &rhs) |
| Multiplication of 0 or 1 by a Variable.
|
BoolePolynomial | polybori::operator* (const BooleVariable &lhs, const BoolePolynomial &rhs) |
| Multiplication of variables by a polynomial.
|
BooleMonomial | polybori::operator* (const BooleVariable &lhs, const BooleMonomial &rhs) |
| Multiplication of variables by a monomial.
|
BoolePolynomial & | polybori::operator*= (BoolePolynomial &lhs, const BooleVariable &rhs) |
| Multiplication of a polynomial by a variable with assignment.
|
BooleMonomial | polybori::operator* (const BooleVariable &lhs, const BooleVariable &rhs) |
| Multiplication of monomials by a polynomial.
|
BoolePolynomial | polybori::operator* (const BoolePolynomial &lhs, const BooleVariable &rhs) |
| Multiplication of a polynomial by a variable.
|
BoolePolynomial | polybori::operator/ (const BoolePolynomial &lhs, const BooleVariable &rhs) |
| Division of a polynomial by a variable (forcing monomial variant)
|
BoolePolynomial | polybori::operator% (const BoolePolynomial &lhs, const BooleVariable &rhs) |
| Remainder of division of a polynomial by a variable.
|
- Author
- Alexander Dreyer
- Date
- 2006-04-19
This file carries the definition of class BooleMonomial
, which can be used to access the boolean monomials of the currently active Boolean polynomial ring.
- Copyright:
- (c) 2006-2010 by The PolyBoRi Team