sagemath/sagemath-lrslib.patch
2013-10-18 23:22:11 -03:00

15 lines
816 B
Diff

diff -up sage-5.12/spkg/build/sage-5.12/sage/geometry/polyhedron/base.py.orig sage-5.12/spkg/build/sage-5.12/sage/geometry/polyhedron/base.py
--- sage-5.12/spkg/build/sage-5.12/sage/geometry/polyhedron/base.py.orig 2013-10-16 12:08:54.546196224 -0300
+++ sage-5.12/spkg/build/sage-5.12/sage/geometry/polyhedron/base.py 2013-10-16 12:09:04.060196589 -0300
@@ -3291,11 +3291,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()