From: Danielle Bolan Date: Mon, 7 Jul 2014 08:48:13 +0000 (+0200) Subject: Getting vertices when version < 0.13 X-Git-Tag: 1.0~137 X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/commitdiff_plain/e21e06be0a63f74174e03a53037e91e051c84b79?ds=inline;hp=17f12d8f63d696f09dbb44be3dc24b9aba7b88d3 Getting vertices when version < 0.13 --- diff --git a/pypol/domains.py b/pypol/domains.py index 2fbd544..600049c 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -260,16 +260,18 @@ class Domain: _RE_COORDINATE = re.compile(r'\((?P\-?\d+)\)(/(?P\d+))?') def vertices(self): + #returning list of verticies + from .polyhedra import Polyhedron islbset = self._toislbasicset(self.equalities, self.inequalities, self.symbols) vertices = libisl.isl_basic_set_compute_vertices(islbset); vertices = islhelper.isl_vertices_vertices(vertices) points = [] for vertex in vertices: - expr = libisl.isl_vertex_get_expr(vertex); + expr = libisl.isl_vertex_get_expr(vertex); if islhelper.isl_version < '0.13': - string = islhelper.isl_set_to_str(expr) - print(string) - # to be continued... + #pass bset from expr to points to get verticies + exp = Polyhedron._fromislbasicset(expr, self.symbols) + points.append(exp.points()) else: # horrible hack, find a cleaner solution string = islhelper.isl_multi_aff_to_str(expr)