|
BooleMonomial | polybori::operator* (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Multiplication of monomials. More...
|
|
BooleMonomial | polybori::operator* (const BooleMonomial &lhs, const BooleVariable &rhs) |
| Multiplication of monomials. More...
|
|
BoolePolynomial | polybori::operator* (const BooleMonomial &lhs, BooleConstant rhs) |
| Multiplication of monomials. More...
|
|
BoolePolynomial | polybori::operator* (BooleConstant lhs, const BooleMonomial &rhs) |
| Multiplication of monomials. More...
|
|
BooleMonomial | polybori::operator/ (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Division of monomials. More...
|
|
BooleMonomial | polybori::operator/ (const BooleMonomial &lhs, const BooleVariable &rhs) |
| Division of monomials. More...
|
|
BooleMonomial::bool_type | polybori::operator< (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Less than comparision. More...
|
|
BooleMonomial::bool_type | polybori::operator> (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Greater than comparision. More...
|
|
BooleMonomial::bool_type | polybori::operator<= (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Less or equal than comparision. More...
|
|
BooleMonomial::bool_type | polybori::operator>= (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Greater or equal than comparision. More...
|
|
BooleMonomial | polybori::GCD (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Compute the greatest common divisor of two monomials. More...
|
|
BooleMonomial | polybori::LCM (const BooleMonomial &lhs, const BooleMonomial &rhs) |
| Compute the greatest common divisor of two monomials. More...
|
|
BoolePolynomial | polybori::operator* (const BooleVariable &lhs, const BooleConstant &rhs) |
| Multiplication of variables by a 0 or 1. More...
|
|
BoolePolynomial | polybori::operator* (const BooleConstant &lhs, const BooleVariable &rhs) |
| Multiplication of 0 or 1 by a Variable. More...
|
|
BoolePolynomial | polybori::operator* (const BooleVariable &lhs, const BoolePolynomial &rhs) |
| Multiplication of variables by a polynomial. More...
|
|
BooleMonomial | polybori::operator* (const BooleVariable &lhs, const BooleMonomial &rhs) |
| Multiplication of variables by a monomial. More...
|
|
BoolePolynomial & | polybori::operator*= (BoolePolynomial &lhs, const BooleVariable &rhs) |
| Multiplication of a polynomial by a variable with assignment. More...
|
|
BooleMonomial | polybori::operator* (const BooleVariable &lhs, const BooleVariable &rhs) |
| Multiplication of monomials by a polynomial. More...
|
|
BoolePolynomial | polybori::operator* (const BoolePolynomial &lhs, const BooleVariable &rhs) |
| Multiplication of a polynomial by a variable. More...
|
|
BoolePolynomial | polybori::operator/ (const BoolePolynomial &lhs, const BooleVariable &rhs) |
| Division of a polynomial by a variable (forcing monomial variant) More...
|
|
BoolePolynomial | polybori::operator% (const BoolePolynomial &lhs, const BooleVariable &rhs) |
| Remainder of division of a polynomial by a variable. More...
|
|
- 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