X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/f03bfa8b26b45b0ba2b47c6eadafa7787200a9c9..b60eea3e1f1ee3e2ec26b7df2ae64e6da8586372:/doc/reference.rst

diff --git a/doc/reference.rst b/doc/reference.rst
index 83ee9d3..69f0f45 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.
@@ -513,14 +517,14 @@ The following functions create :class:`Polyhedron` or :class:`Domain` instances
 
 The following functions combine :class:`Polyhedron` or :class:`Domain` instances using logic operators:
 
-.. function:: Or(domain1, domain2[, ...])
-
-    Create the union domain of the domains given in arguments.
-
 .. function:: And(domain1, domain2[, ...])
 
     Create the intersection domain of the domains given in arguments.
 
+.. function:: Or(domain1, domain2[, ...])
+
+    Create the union domain of the domains given in arguments.
+
 .. function:: Not(domain)
 
     Create the complementary domain of the domain given in argument.