X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/blobdiff_plain/af70cb24e2db153fa0afad42296cc1528b82b2a2..f03bfa8b26b45b0ba2b47c6eadafa7787200a9c9:/doc/reference.rst?ds=sidebyside diff --git a/doc/reference.rst b/doc/reference.rst index 4e71658..83ee9d3 100644 --- a/doc/reference.rst +++ b/doc/reference.rst @@ -2,6 +2,7 @@ Module Reference ================ + Symbols ------- @@ -227,6 +228,7 @@ They are implemented by the :class:`Rational` class, that inherits from both :cl See the documentation of :class:`fractions.Fraction` for more information and examples. + Polyhedra --------- @@ -278,10 +280,16 @@ This space can be unbounded. 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. + In its current implementation, this method is slow and should not be used on large polyhedra. + .. data:: Empty