>>> x < y
Le(x - y + 1, 0)
-
.. method:: scaleint()
Return the expression multiplied by its lowest common denominator to make all values integer.
The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty.
+
Domains
-------