X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/f03bfa8b26b45b0ba2b47c6eadafa7787200a9c9..3c9e6c7cd0631426b79a28c9b15f8d40e01cec4c:/doc/reference.rst diff --git a/doc/reference.rst b/doc/reference.rst index 83ee9d3..5c8da90 100644 --- a/doc/reference.rst +++ b/doc/reference.rst @@ -284,6 +284,10 @@ This space can be unbounded. Return the convex union of two or more polyhedra. + .. method:: asinequalities() + + Express the polyhedron using inequalities, given as a list of expressions greater or equal to 0. + .. method:: widen(polyhedron) Compute the *standard widening* of two polyhedra, à la Halbwachs.