]> CRI, Mines Paris - PSL - linpy.git/blobdiff - doc/reference.rst
Add warning in widening documentation
[linpy.git] / doc / reference.rst
index 4e716582dd28d4a471a697930bc126ba5cac9f50..18e69c0d1b6c49e73c60cec946ad1a343c7a345b 100644 (file)
@@ -282,6 +282,8 @@ This space can be unbounded.
 
         Compute the *standard widening* of two polyhedra, à la Halbwachs.
 
 
         Compute the *standard widening* of two polyhedra, à la Halbwachs.
 
+        In its current implementation, this method is slow and should not be used on large polyhedra.
+
 
 .. data:: Empty
 
 
 .. data:: Empty