X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/ae3c7cc888444a66597e093ea0b1fd83f521f0a6..2c669de47805cf0b8bd1c8bcf3958f52b1902926:/pypol/polyhedra.py diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py index c30fd13..37f16e0 100644 --- a/pypol/polyhedra.py +++ b/pypol/polyhedra.py @@ -5,8 +5,7 @@ import numbers from . import islhelper from .islhelper import mainctx, libisl -from .geometry import GeometricObject -from .coordinates import Point +from .geometry import GeometricObject, Point from .linexprs import Expression, Symbol, Rational from .domains import Domain @@ -243,6 +242,17 @@ class Polyhedron(Domain): angles[m] = angle return sorted(points, key=angles.get) + def faces(self): + vertices = self.vertices() + faces = [] + for constraint in self.constraints: + face = [] + for vertex in vertices: + if constraint.subs(vertex.coordinates()) == 0: + face.append(vertex) + faces.append(face) + return faces + def plot(self): import matplotlib.pyplot as plt from matplotlib.path import Path