from fractions import Fraction
from . import islhelper
-from .islhelper import mainctx, libisl, isl_set_basic_sets
-from .geometry import GeometricObject
-from .coordinates import Point
+from .islhelper import mainctx, libisl
+from .geometry import GeometricObject, Point
from .linexprs import Expression, Symbol
def _fromislset(cls, islset, symbols):
from .polyhedra import Polyhedron
islset = libisl.isl_set_remove_divs(islset)
- islbsets = isl_set_basic_sets(islset)
+ islbsets = islhelper.isl_set_basic_sets(islset)
libisl.isl_set_free(islset)
polyhedra = []
for islbset in islbsets: