.. method:: __mul__(value)
- Return the product of the linear expression as a rational.
+ Return the product of the linear expression by a rational.
.. method:: __truediv__(value)
- Return the quotient of the linear expression as a rational.
+ Return the quotient of the linear expression by a rational.
.. method:: __eq__(expr)
Polyhedra
---------
-A *convex polyhedron* (or simply polyhedron) is the space defined by a system of linear equalities and inequalities.
+A *convex polyhedron* (or simply "polyhedron") is the space defined by a system of linear equalities and inequalities.
This space can be unbounded.
.. class:: Polyhedron(equalities, inequalities)
Comparison and Logic Operators
------------------------------
-The following functions create :class:`Polyhedron` or :class:`Domain` instances by comparison of :class:`LinExpr` instances:
+The following functions create :class:`Polyhedron` or :class:`Domain` instances using the comparisons of two or more :class:`LinExpr` instances:
.. function:: Lt(expr1, expr2[, expr3, ...])