# use to remove certain variables use isl_set_drop_constraints_involving_dims instead?
from .polyhedra import Polyhedron
n = 0
- dims = list(dims)
- symbols = list(self.symbols)
+ dims = sorted(dims)
+ symbols = sorted(self.symbols)
islset = self._toislset(self.polyhedra, self.symbols)
for dim in dims:
dim_index = dims.index(dim)
islbset = libisl.isl_set_project_out(islset, libisl.isl_dim_set, first, n)
symbols.remove(dim)
except:
- islbset = libisl.isl_set_project_out(islset, libisl.isl_dim_set, first, 1)
- symbols.__delitem__(first)
+ islbset = libisl.isl_set_project_out(islset, libisl.isl_dim_set, first, 1)
+ symbols.remove(dim)
else:
- islbset = libisl.isl_set_project_out(islset, libisl.isl_dim_set, 0, 0)
+ islbset = libisl.isl_set_project_out(islset, libisl.isl_dim_set, 0, 0)
return Polyhedron._fromislset(islbset, symbols)
def sample(self):