X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/25ce908cffca380f930182a77c1e5a4491042a1c..5eca735504be3b7c301e2a1fa37712eb88b4ec64:/pypol/domains.py diff --git a/pypol/domains.py b/pypol/domains.py index 1c400bd..cdf2de4 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -304,20 +304,13 @@ class Domain(GeometricObject): islset = libisl.isl_set_lexmax(islset) return self._fromislset(islset, self.symbols) - def num_parameters(self): - """ - Return the total number of parameters, input, output or set dimensions. - """ - islbset = self._toislbasicset(self.equalities, self.inequalities, self.symbols) - num = libisl.isl_basic_set_dim(islbset, libisl.isl_dim_set) - return num - def involves_dims(self, dims): + def involves_vars(self, vars): """ - Returns true if set depends on given dimensions. + Returns true if a set depends on given dimensions. """ islset = self._toislset(self.polyhedra, self.symbols) - dims = sorted(dims) + dims = sorted(vars) symbols = sorted(list(self.symbols)) n = 0 if len(dims)>0: @@ -392,7 +385,7 @@ class Domain(GeometricObject): coordinates[symbol] = coordinate points.append(Point(coordinates)) return points - + @classmethod def _polygon_inner_point(cls, points): symbols = points[0].symbols @@ -445,9 +438,9 @@ class Domain(GeometricObject): return sorted(points, key=angles.get) def faces(self): - """ - Returns the vertices of the faces of a polyhedra. - """ + """ + Returns the vertices of the faces of a polyhedra. + """ faces = [] for polyhedron in self.polyhedra: vertices = polyhedron.vertices() @@ -529,9 +522,10 @@ class Domain(GeometricObject): return False def subs(self, symbol, expression=None): - """ - Subsitute the given value into an expression and return the resulting expression. - """ + """ + Subsitute the given value into an expression and return the resulting + expression. + """ polyhedra = [polyhedron.subs(symbol, expression) for polyhedron in self.polyhedra] return Domain(*polyhedra)