diff -up src/sage/geometry/polyhedron/base.py.orig src/sage/geometry/polyhedron/base.py --- src/sage/geometry/polyhedron/base.py.orig 2018-05-16 13:31:55.930138769 -0600 +++ src/sage/geometry/polyhedron/base.py 2018-05-16 13:35:12.219428900 -0600 @@ -4281,9 +4281,6 @@ class Polyhedron_base(Element): David Avis's lrs program. """ - if not is_package_installed('lrslib'): - raise PackageNotFoundError('lrslib') - from sage.misc.temporary_file import tmp_filename from subprocess import Popen, PIPE in_str = self.cdd_Vrepresentation()