From 4e408d8113221ec6ecbaabdeb24ba0710c5a417c Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 19 Aug 2014 15:29:12 +0200
Subject: [PATCH 1/1] Switch order of Ge() and Gt() declarations
---
linpy/polyhedra.py | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/linpy/polyhedra.py b/linpy/polyhedra.py
index 31b64b1..fb2b4a7 100644
--- a/linpy/polyhedra.py
+++ b/linpy/polyhedra.py
@@ -399,15 +399,15 @@ def Ne(left, right):
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])
--
2.20.1