X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/9e103619134c8839d143951c5b814bab500fcdcf..efe7abf81717b6bf1f0e6d66352a4c3615538789:/pypol/linear.py

diff --git a/pypol/linear.py b/pypol/linear.py
index e6d442e..c34402a 100644
--- a/pypol/linear.py
+++ b/pypol/linear.py
@@ -699,7 +699,8 @@ Universe = Polyhedron()
 
 
 if __name__ == '__main__':
-    p1 = Polyhedron('2a + 2b + 1 == 0') # empty
-    print(p1._toisl())
-    p2 = Polyhedron('3x + 2y + 3 == 0') # not empty
-    print(p2._toisl())
+    #p = Polyhedron('2a + 2b + 1 == 0') # empty
+    p = Polyhedron('3x + 2y + 3 == 0, y == 0') # not empty
+    ip = p._toisl()
+    print(ip)
+    print(ip.constraints())