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
__all__ = [
'Expression', 'Symbol', 'Dummy', 'symbols', 'Rational',
+ 'Point', 'Vector',
'Polyhedron', 'Eq', 'Ne', 'Le', 'Lt', 'Ge', 'Gt', 'Empty', 'Universe',
'Domain', 'And', 'Or', 'Not',
]