Ask Your Question
1

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

asked 2019-10-03 16:03:30 -0500

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 16:51:16 -0500 )edit

1 answer

Sort by ยป oldest newest most voted
1

answered 2019-10-04 14:04:45 -0500

tmonteil gravatar image

updated 2019-10-04 14:05:08 -0500

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 14:55:55 -0500 )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 15:18:30 -0500 )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 16:45:40 -0500 )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-05 18:10:29 -0500 )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 16:03:30 -0500

Seen: 26 times

Last updated: Oct 04