Return NotImplemented in Domain special methods
[linpy.git] / doc / reference.rst
index 83ee9d3..5c8da90 100644 (file)
@@ -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.