projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Oops, fix relative imports
[linpy.git]
/
pypol
/
linear.py
diff --git
a/pypol/linear.py
b/pypol/linear.py
index
e6d442e
..
eeee698
100644
(file)
--- a/
pypol/linear.py
+++ b/
pypol/linear.py
@@
-5,8
+5,8
@@
import re
from fractions import Fraction, gcd
from fractions import Fraction, gcd
-from
pypol
import isl
-from
pypol
.isl import libisl
+from
.
import isl
+from .isl import libisl
__all__ = [
__all__ = [
@@
-699,7
+699,8
@@
Universe = Polyhedron()
if __name__ == '__main__':
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())