index af5cd4d..20168e4 100644 (file)
@@ -148,11 +148,11 @@ For example, if ``x`` is a :class:`Symbol`, then ``x + 1`` is an instance of :cl

.. 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)

@@ -230,7 +230,7 @@ They are implemented by the :class:`Rational` class, that inherits from both :cl
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)
@@ -476,7 +476,7 @@ Unlike polyhedra, domains allow exact computation of union and complementary ope
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, ...])