+ Return the difference between *self* and *other*.
+
+ .. py:method:: __mul__(self, other)
+
+ Return the product of *self* and *other* if *other* is a rational number.
+
+ .. py:method:: __eq__(self, other)
+
+ Test whether two expressions are equal.
+
+ .. py:method:: __le__(self, other)
+ self <= other
+
+ Create a new polyhedra from an expression with a single constraint as *self* less than or equal to *other*.
+
+ .. py:method:: __lt__(self, other)
+ self < other
+
+ Create a new polyhedra from an expression with a single constraint as *self* less than *other*.
+
+ .. py:method:: __ge__(self, other)
+ self >= other
+
+ Create a new polyhedra from an expression with a single constraint as *self* greater than or equal to *other*.
+
+ .. py:method:: __gt__(self, other)
+ self > other
+
+ Create a new polyhedra from an expression with a single constraint as *self* greater than *other*.
+
+ .. py:method:: scaleint(self)
+
+ Multiply an expression by a scalar to make all coefficients integer values.
+