X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/f03bfa8b26b45b0ba2b47c6eadafa7787200a9c9..d1592edb29b12dafe5c0d0698310b98b4915cf26:/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.