X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/f42e2bf07b9fb5b19b9ab243079fc69234ef4549..675e4575c2fe1315d30b845f9ab6168da30085e3:/linpy/polyhedra.py 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')