generic latte_int interface to count

[videlec]

We provide a file sage/interfaces/latte.py that provides a uniform function count to query the LattE program count (integrate will be dealt with in another ticket). It is used in this ticket to refactor ehrhart_polynomial and integral_points_count.

Prerequisite for #18232.

CC: @mkoeppe @sagetrac-tmonteil

Component: geometry

Keywords: days84

Author: Vincent Delecroix

Branch: d5ff154

Reviewer: Matthias Koeppe

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

[videlec]

Changed keywords from none to days84

[sagetrac-tmonteil]

comment:2

Why not putting this in the interfaces section ?

[videlec]

Commit: be2de21

[videlec]

New commits:

be2de21

22497: generic interface to LattE integrale count22497: generic

[videlec]

Branch: u/vdelecroix/22497

[sagetrac-git]

Changed commit from be2de21 to cf9f0de

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

cf9f0de

22497: generic interface to LattE integrale count

[sagetrac-git]

Changed commit from cf9f0de to 9a0d0a2

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

9a0d0a2

22497: generic interface to LattE integrale count

[mkoeppe]

comment:7

Keyword arguments should be provided (perhaps via decorator) for the benefit of tab completion.

[videlec]

comment:8

Replying to @mkoeppe:

Keyword arguments should be provided (perhaps via decorator) for the benefit of tab completion.

This would be nice to have but not implemented. Did you have something in mind? The implementation I have in mind is a kind of challenge since you have to play with the bytecode of the function...

[mkoeppe]

Reviewer: Matthias Koeppe

[mkoeppe]

comment:9

OK, separate ticket then

[kiwifb]

comment:10

I have one failure when latte_int is not installed

sage -t --long /usr/lib64/python2.7/site-packages/sage/interfaces/latte.py
**********************************************************************
File "/usr/lib64/python2.7/site-packages/sage/interfaces/latte.py", line 51, in sage.interfaces.latte.count
Failed example:
    count(P.cdd_Hrepresentation(), cdd=True, ehrhart_polynomial=True)
Exception raised:
    Traceback (most recent call last):
      File "/usr/lib64/python2.7/site-packages/sage/doctest/forker.py", line 501, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/usr/lib64/python2.7/site-packages/sage/doctest/forker.py", line 864, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.interfaces.latte.count[2]>", line 1, in <module>
        count(P.cdd_Hrepresentation(), cdd=True, ehrhart_polynomial=True)
      File "/usr/lib64/python2.7/site-packages/sage/interfaces/latte.py", line 149, in count
        raise RuntimeError("LattE integrale program failed (exit code {})".format(ret_code) + err.strip())
    RuntimeError: LattE integrale program failed (exit code 2):
    usage: count <expected line count>
**********************************************************************
1 item had failures:

I see this test is not marked optional, is it normal?

[videlec]

comment:11

it is not. Thanks for testing.

[sagetrac-git]

Changed commit from 9a0d0a2 to d5ff154

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

d5ff154

22497: generic interface to LattE integrale count

[vbraun]

Changed branch from u/vdelecroix/22497 to d5ff154

[seblabbe]

Changed commit from d5ff154 to none

[seblabbe]

comment:15

When looking at this branch, I could not understand how the problem solved in #21491 was not reappearing. I tested 7.6.rc0 and everything was fine so I could not understand. I just realized the existence of #22577 which is a follow up of this ticket. So now I understand everything, and everything is great, thank you!