return ~Eq(left, right)
@_polymorphic
-def Gt(left, right):
+def Ge(left, right):
"""
- Create the polyhedron with constraints expr1 > expr2 > expr3 ...
+ Create the polyhedron with constraints expr1 >= expr2 >= expr3 ...
"""
- return Polyhedron([], [left - right - 1])
+ return Polyhedron([], [left - right])
@_polymorphic
-def Ge(left, right):
+def Gt(left, right):
"""
- Create the polyhedron with constraints expr1 >= expr2 >= expr3 ...
+ Create the polyhedron with constraints expr1 > expr2 > expr3 ...
"""
- return Polyhedron([], [left - right])
+ return Polyhedron([], [left - right - 1])