From 675e4575c2fe1315d30b845f9ab6168da30085e3 Mon Sep 17 00:00:00 2001 From: Vivien Maisonneuve Date: Tue, 19 Aug 2014 15:26:43 +0200 Subject: [PATCH 1/1] Add warning in widening documentation --- doc/reference.rst | 2 ++ linpy/polyhedra.py | 3 +++ 2 files changed, 5 insertions(+) diff --git a/doc/reference.rst b/doc/reference.rst index 4e71658..18e69c0 100644 --- a/doc/reference.rst +++ b/doc/reference.rst @@ -282,6 +282,8 @@ This space can be unbounded. 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 diff --git a/linpy/polyhedra.py b/linpy/polyhedra.py index 8426d32..9fdf6e7 100644 --- a/linpy/polyhedra.py +++ b/linpy/polyhedra.py @@ -173,6 +173,9 @@ class Polyhedron(Domain): def widen(self, other): """ 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. """ if not isinstance(other, Polyhedron): raise ValueError('argument must be a Polyhedron instance') -- 2.20.1