Module Reference
================
+
Symbols
-------
See the documentation of :class:`fractions.Fraction` for more information and examples.
+
Polyhedra
---------
The tuple of constraints, i.e., equalities and inequalities.
This is semantically equivalent to: ``equalities + inequalities``.
+ .. method:: convex_union(polyhedron[, ...])
+
+ Return the convex union of two or more polyhedra.
+
.. method:: widen(polyhedron)
Compute the *standard widening* of two polyhedra, à la Halbwachs.
def aspolyhedron(self):
return self
+ def convex_union(self, *others):
+ """
+ Return the convex union of two or more polyhedra.
+ """
+ for other in others:
+ if not isinstance(other, Polyhedron):
+ raise TypeError('arguments must be Polyhedron instances')
+ return Polyhedron(self.union(*others))
+
def __contains__(self, point):
if not isinstance(point, Point):
raise TypeError('point must be a Point instance')