Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

LattE is sometimes not happy with V representation #23556

Open
videlec opened this issue Jul 31, 2017 · 6 comments
Open

LattE is sometimes not happy with V representation #23556

videlec opened this issue Jul 31, 2017 · 6 comments

Comments

@videlec
Copy link
Contributor

videlec commented Jul 31, 2017

sage: from sage.interfaces.latte import count
sage: P = Polyhedron(rays=[[1,0,0],[0,1,0],[0,0,1]])
sage: count(P.cdd_Vrepresentation(),
....: cdd=True,
....: multivariate_generating_function=True,
....: raw_output=True)
---------------------------------------------------------------------------
IOError                                   Traceback (most recent call last)
<ipython-input-3-b8af61d0b5fe> in <module>()
      2 cdd=True,
      3 multivariate_generating_function=True,
----> 4 raw_output=True)

/opt/sage/local/lib/python2.7/site-packages/sage/interfaces/latte.pyc in count(arg, ehrhart_polynomial, multivariate_generating_function, raw_output, verbose, **kwds)
    170             return R(ans)
    171     elif multivariate_generating_function:
--> 172         with open(filename + '.rat') as f:
    173             ans = f.read()
    174         if raw_output:

IOError: [Errno 2] No such file or directory: '/home/vincent/.sage/temp/mangouste/6180/tmp_NYOKC8.rat'

Actually, LattE produces an error message with this example but the return value is 0

This is LattE integrale 1.7.3
Available from http://www.math.ucdavis.edu/~latte

Invocation: count --multivariate-generating-function '--redundancy-check=none' --cdd /home/vincent/.sage/temp/mangouste/6027/tmp_yXiTqU
Warning: Not performing check for empty polytope, because it is unimplemented for the CDD-style input format.
size = 4 x 4
Number Type = rational
Computing vertices and edges with cddlib...size = 4 x 4
Number Type = rational
done.

Reading .ext file...

readCddExtFile:: Given polyhedron is unbounded!!!(2)

Upstream: Not yet reported upstream; Will do shortly.

CC: @mkoeppe

Component: interfaces

Issue created by migration from https://trac.sagemath.org/ticket/23556

@videlec videlec added this to the sage-8.1 milestone Jul 31, 2017
@videlec

This comment has been minimized.

@videlec

This comment has been minimized.

@videlec videlec changed the title LattE is sometimes not happy with V representation problems with LattE integrale Aug 10, 2017
@videlec
Copy link
Contributor Author

videlec commented Aug 10, 2017

Upstream: Not yet reported upstream; Will do shortly.

@videlec

This comment has been minimized.

@videlec videlec changed the title problems with LattE integrale LattE is sometimes not happy with V representation Aug 10, 2017
@mkoeppe
Copy link
Member

mkoeppe commented May 1, 2020

comment:5

Moving some tickets to 9.2. This is not a promise that I will be working on them.

@mkoeppe mkoeppe modified the milestones: sage-8.1, sage-9.2 May 1, 2020
@mkoeppe mkoeppe modified the milestones: sage-9.2, sage-9.3 Aug 29, 2020
@mkoeppe
Copy link
Member

mkoeppe commented Mar 24, 2021

comment:7

Sage development has entered the release candidate phase for 9.3. Setting a new milestone for this ticket based on a cursory review of ticket status, priority, and last modification date.

@mkoeppe mkoeppe modified the milestones: sage-9.3, sage-9.4 Mar 24, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.4, sage-9.5 Aug 9, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.5, sage-9.6 Dec 18, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.6, sage-9.7 May 3, 2022
@mkoeppe mkoeppe modified the milestones: sage-9.7, sage-9.8 Aug 31, 2022
@mkoeppe mkoeppe modified the milestones: sage-9.8, sage-9.9 Jan 7, 2023
@mkoeppe mkoeppe removed this from the sage-10.0 milestone Apr 30, 2023
@mkoeppe mkoeppe added this to the sage-10.1 milestone Apr 30, 2023
@mkoeppe mkoeppe removed this from the sage-10.1 milestone Aug 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants