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.
|
BooleMonomial::bool_type | polybori::greater_variable (BooleMonomial::idx_type lhs, BooleMonomial::idx_type rhs) |
| Checks whether BooleVariable(lhs) > BooleVariable(rhs)
|
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/= (BoolePolynomial &lhs, const BooleVariable &rhs) |
| Division of a polynomial by a variable (forcing monomial variant)
|
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.
|
BoolePolynomial & | polybori::operator%= (BoolePolynomial &lhs, const BooleVariable &rhs) |
| Remainder of division of a polynomial by a variable (with assignment)
|
- 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 by The PolyBoRi Team