From 675e4575c2fe1315d30b845f9ab6168da30085e3 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 19 Aug 2014 15:26:43 +0200
Subject: [PATCH] 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