LattE problem: Executable 'count' not found on PATH.
Hello, I'm doing some polytope computations and the above problem appears as soon as the polytopes become too big. For example, I'm using:
from sage.interfaces.latte import *
p=Polyhedron(vertices=[(1/2,0),(0,1/3),(1,1)], backend='normaliz')
q1=10*p
q1.integral_points_count()
14
q2=100*p
q2.integral_points_count()
---------------------------------------------------------------------------
FeatureNotPresentError Traceback (most recent call last)
<ipython-input-6-ca4453575b9a> in <module>()
----> 1 q.integral_points_count()
/usr/lib/python2.7/site-packages/sage/geometry/polyhedron/base_QQ.pyc in integral_points_count(self, verbose, use_Hrepresentation, explicit_enumeration_threshold, preprocess, **kwds)
216 cdd=True,
217 verbose=verbose,
--> 218 **kwds)
/usr/lib/python2.7/site-packages/sage/interfaces/latte.pyc in count(arg, ehrhart_polynomial, multivariate_generating_function, raw_output, verbose, **kwds)
112 """
113 # Check that LattE is present
--> 114 Latte().require()
115
116 args = ['latte-count']
/usr/lib/python2.7/site-packages/sage/features/__init__.pyc in require(self)
156 presence = self.is_present()
157 if not presence:
--> 158 raise FeatureNotPresentError(self, presence.reason, presence.resolution)
159
160 def __repr__(self):
FeatureNotPresentError: LattE is not available.
Executable 'count' not found on PATH.
To install latte-count you can try to run 'sage -i latte_int'.
Further installation instructions might be available at [DELETED LINK].
Any help to resolve the issue would be greatly appreaciated!
For
q1.integral_points_count()
, i got 39, not 14. Could you please provide more information on your system ?I also get 39 for the command
q1.integral_points_count()
on sage 8.9.As mentioned in the documentation obtained by typing
q1.integral_points_count?
, there is a threshold for when sage will use latte for the computations. The import statementfrom sage.interfaces.latte import *
does not affect anything here. As tmonteil said, it requires that either you have latte integrale installed on your system of you install it viasage -i latte_int
.I suspect that you are interested in the Ehrhart polynomial. It is important to know that counting the lattice points in a lattice polytope and obtaining the Ehrhart polynomial are two completely different tasks, although they are obviously related.