diff -up src/sage/geometry/polyhedron/base.py.orig src/sage/geometry/polyhedron/base.py --- src/sage/geometry/polyhedron/base.py.orig 2015-04-03 15:06:44.704400187 -0300 +++ src/sage/geometry/polyhedron/base.py 2015-04-03 15:06:59.632400758 -0300 @@ -3242,11 +3242,6 @@ class Polyhedron_base(Element): David Avis's lrs program. """ - if is_package_installed('lrs') != True: - print 'You must install the optional lrs package ' \ - 'for this function to work' - raise NotImplementedError - from sage.misc.temporary_file import tmp_filename from subprocess import Popen, PIPE in_str = self.cdd_Vrepresentation()