Ask Your Question
1

LattE problem: Executable 'count' not found on PATH.

asked 2019-10-03 23:03:30 +0100

jga gravatar image

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!

edit retag flag offensive close merge delete

Comments

For q1.integral_points_count(), i got 39, not 14. Could you please provide more information on your system ?

  • which version of Sage did you use ?
  • which OS ?
  • did you install Sage from the binaries, and which ones ?
  • did you compile Sage yourself ?
tmonteil gravatar imagetmonteil ( 2019-10-04 23:51:16 +0100 )edit

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 statement from 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 via sage -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.

jipilab gravatar imagejipilab ( 2019-10-26 11:49:16 +0100 )edit

1 Answer

Sort by ยป oldest newest most voted
1

answered 2019-10-04 21:04:45 +0100

tmonteil gravatar image

updated 2019-10-04 21:05:08 +0100

You have to install Latte, which is an optional package, by doing:

sage -i latte_int
edit flag offensive delete link more

Comments

I'm pretty sure it's installed. I actually worked around this issue by computing the Ehrhart quasipolynomial of the polytopes I am working with normaliz. Doesn't this require to have latte_int installed? The package that appears to be installed is "latte_integrale", which I assume is the same?

In any case, this query yields make: *** No rule to make target 'all-toolchain'. Stop. Any suggestion to deal with this issue? >.< I guess it's worth mentioning that this issue appeared recently. An OS update must have messed something up, I just don't know that.

Thanks for your answer!

jga gravatar imagejga ( 2019-10-04 21:55:55 +0100 )edit

latte_integrale is not a Sage package. How did you install Sage:

  • which OS ?
  • did you install Sage from the binaries, and which ones ?
  • did you compile Sage yourself ?
tmonteil gravatar imagetmonteil ( 2019-10-04 22:18:30 +0100 )edit

I do not get the erros you get on my system (which is latest Sage compiled for Python 3)

tmonteil gravatar imagetmonteil ( 2019-10-04 23:45:40 +0100 )edit

I'm using Manjaro Linux and I don't remember exactly how I installed it. Probably using a package manager like Octopi or something. Perhaps I should ask this in the distro's forum? I thought it might be a sage problem because the counting command works well for small multiples of the polytope, the Ehrhart quasipolynomial command works and so on, but as you say it's probably a bad installation on my side.

jga gravatar imagejga ( 2019-10-06 01:10:29 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2019-10-03 23:03:30 +0100

Seen: 460 times

Last updated: Oct 04 '19