Return a list of vertices for this Polygon.
"""
from .polyhedra import Polyhedron
+ if not self.isbounded():
+ raise ValueError('domain must be bounded')
islbset = self._toislbasicset(self.equalities, self.inequalities, self.symbols)
vertices = libisl.isl_basic_set_compute_vertices(islbset);
vertices = islhelper.isl_vertices_vertices(vertices)
return sorted(points, key=angles.get)
def faces(self):
+ """
+ Returns the vertices of the faces of a polyhedra.
+ """
faces = []
for polyhedron in self.polyhedra:
vertices = polyhedron.vertices()
axes.set_zlim(zmin, zmax)
return axes
+
def plot(self, plot=None, **kwargs):
"""
Display plot of this set.
return False
def subs(self, symbol, expression=None):
+ """
+ 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)