X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/f03bfa8b26b45b0ba2b47c6eadafa7787200a9c9..b4f536e238161d59db61f4bb5fc6e87d4b7baffe:/doc/reference.rst?ds=sidebyside 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.