islset = libisl.isl_set_lexmax(islset)
return self._fromislset(islset, self.symbols)
islset = libisl.isl_set_lexmax(islset)
return self._fromislset(islset, self.symbols)
constraints = islhelper.isl_basic_set_constraints(expr)
for constraint in constraints:
constant = libisl.isl_constraint_get_constant_val(constraint)
constraints = islhelper.isl_basic_set_constraints(expr)
for constraint in constraints:
constant = libisl.isl_constraint_get_constant_val(constraint)
elif self.dimension == 3:
return self._plot_3d(plot=plot, **kwargs)
else:
elif self.dimension == 3:
return self._plot_3d(plot=plot, **kwargs)
else:
"""
import sympy
from .polyhedra import Lt, Le, Eq, Ne, Ge, Gt
"""
import sympy
from .polyhedra import Lt, Le, Eq, Ne, Ge, Gt