Cleaner implementation of Rational

[linpy.git] / pypol / __init__.py

diff --git a/pypol/__init__.py b/pypol/__init__.py
index e39bce7..166ccf4 100644 (file)
--- a/pypol/__init__.py
+++ b/pypol/__init__.py
@@ -2,6 +2,7 @@
 A polyhedral library based on ISL.
 """
 
 A polyhedral library based on ISL.
 """
 

+from .geometry import Point, Vector

 from .linexprs import Expression, Symbol, Dummy, symbols, Rational
 from .polyhedra import Polyhedron, Eq, Ne, Le, Lt, Ge, Gt, Ne, Empty, Universe
 from .domains import Domain, And, Or, Not
 from .linexprs import Expression, Symbol, Dummy, symbols, Rational
 from .polyhedra import Polyhedron, Eq, Ne, Le, Lt, Ge, Gt, Ne, Empty, Universe
 from .domains import Domain, And, Or, Not


@@ -9,6 +10,7 @@ from .domains import Domain, And, Or, Not
 
 __all__ = [
     'Expression', 'Symbol', 'Dummy', 'symbols', 'Rational',
 
 __all__ = [
     'Expression', 'Symbol', 'Dummy', 'symbols', 'Rational',

+    'Point', 'Vector',

     'Polyhedron', 'Eq', 'Ne', 'Le', 'Lt', 'Ge', 'Gt', 'Empty', 'Universe',
     'Domain', 'And', 'Or', 'Not',
 ]
     'Polyhedron', 'Eq', 'Ne', 'Le', 'Lt', 'Ge', 'Gt', 'Empty', 'Universe',
     'Domain', 'And', 'Or', 'Not',
 ]