Subsitutes an expression into a polyhedron and returns the result.
-To create a polyhedron, the user must use the folloing functions to define the equalities and inequalities which are the contraints of a polyhedron.
+To create a polyhedron, the user must use the folloing functions to define equalities and inequalities as the contraints.
.. py:function:: Eq(left, right)