sagemath/sagemath-lrslib.patch
2015-12-22 12:50:40 -02:00

14 lines
711 B
Diff

diff -up src/sage/geometry/polyhedron/base.py.orig src/sage/geometry/polyhedron/base.py
--- src/sage/geometry/polyhedron/base.py.orig 2015-10-11 17:54:35.252807540 -0300
+++ src/sage/geometry/polyhedron/base.py 2015-10-11 17:54:41.621807784 -0300
@@ -3371,10 +3371,6 @@ class Polyhedron_base(Element):
David Avis's lrs program.
"""
- if not is_package_installed('lrslib'):
- raise NotImplementedError('You must install the optional lrslib package '
- 'for this function to work')
-
from sage.misc.temporary_file import tmp_filename
from subprocess import Popen, PIPE
in_str = self.cdd_Vrepresentation()