# along with LinPy. If not, see <http://www.gnu.org/licenses/>.
"""
-A polyhedral library based on ISL
+A polyhedral library based on isl
"""
from .geometry import GeometricObject, Point, Vector
-from .linexprs import LinExpr, Symbol, Dummy, symbols, Rational
-from .polyhedra import Polyhedron, Eq, Ne, Le, Lt, Ge, Gt, Ne, Empty, Universe
+from .linexprs import LinExpr, Symbol, symbols, Dummy, Rational
+from .polyhedra import Polyhedron, Lt, Le, Eq, Ne, Ge, Gt, Ne, Empty, Universe
from .domains import Domain, And, Or, Not
__all__ = [
- 'LinExpr', 'Symbol', 'Dummy', 'symbols', 'Rational',
+ 'LinExpr', 'Symbol', 'symbols', 'Dummy', 'Rational',
'GeometricObject', 'Point', 'Vector',
- 'Polyhedron', 'Eq', 'Ne', 'Le', 'Lt', 'Ge', 'Gt', 'Empty', 'Universe',
+ 'Polyhedron', 'Lt', 'Le', 'Eq', 'Ne', 'Ge', 'Gt', 'Empty', 'Universe',
'Domain', 'And', 'Or', 'Not',
]