I can't reproduce this locally, but you could see if passing
--triangulation=cddlib
to LattE helps.
On Sunday, November 5, 2017 at 1:46:30 AM UTC-8, Mark Bell wrote:
>
> Here is the full CoCalc output when I run "sage error.py" in a terminal,
> either via the web interface or via sshing into the machine:
>
> Traceback (most recent call last):
> File "error.py", line 42, in <module>
> print(P.integral_points_count(preprocess=False))
> File
> "/ext/sage/sage-8.0/local/lib/python2.7/site-packages/sage/geometry/polyhedron/base_QQ.py",
>
> line 218, in integral_points_count
> **kwds)
> File
> "/ext/sage/sage-8.0/local/lib/python2.7/site-packages/sage/interfaces/latte.py",
>
> line 159, in count
> raise RuntimeError("LattE integrale program failed (exit code
> {})".format(ret_code) + err.strip())
> RuntimeError: LattE integrale program failed (exit code -6):
> This is LattE integrale 1.7.3
> Available from http://www.math.ucdavis.edu/~latte/
>
> Invocation: count '--redundancy-check=none' --cdd /dev/stdin
> Warning: Not performing check for empty polytope, because it is
> unimplemented for the CDD-style input format.
> size = 22 x 19
> Number Type = rational
> Ax <= b, given as (b|-A):
> =========================
> [-1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
> [-1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
> [-1 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
> [-1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
> [-1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
> [-1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0]
> [97 -2 -8 -1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
> [-1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
> [97 -2 -5 -1 -4 0 -3 0 0 0 0 0 0 0 0 0 0 0 0]
>
> Ax = b, given as (b|-A):
> ========================
> [0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1]
> [0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0]
> [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0]
> [0 0 1 -1 2 0 0 0 0 0 0 0 0 0 0 -1 0 0 0]
> [0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0]
> [0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0]
> [-100 2 8 1 7 0 0 0 0 0 0 0 3 0 0 0 0 0 0]
> [0 0 1 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0 0]
> [0 0 1 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0]
> [0 0 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0]
> [-100 2 5 1 4 0 3 0 3 0 0 0 0 0 0 0 0 0 0]
> [-100 2 5 1 4 0 3 3 0 0 0 0 0 0 0 0 0 0 0]
> [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0]
>
> Computing hermitean normal form.
> sol:
> [0 0 0 0 0 0 -100 0 0 -100 0 0 0 0 0 0 0 0]
> Particular solution:
> Basis:
> New inequalities:
> [99 -3 -3 -5 -5 -1 0]
> [-101 3 3 5 6 2 0]
> [-1 0 0 0 0 1 0]
> [-1 0 0 0 1 0 0]
> [-1 0 0 1 0 0 0]
> [-1 1 0 0 0 0 0]
> [-3 3 3 -3 -3 0 0]
> [99 -3 -3 -4 -5 -2 0]
> [-3 0 3 0 0 0 0]
> Time for reading and preprocessing: 0 sec
> The polytope has 12 vertices.
> Time for computing vertices and supporting cones: 0 sec
> Time for dualizing general cones: 0 sec
> Dualizing all cones...All cones are now dualized.
> Time for dualizing general cones: 0 sec
> decomposeCones_Single: Decomposing all cones. (Memory Save on)
> 12 cones total to be done!decomposeCones_Single: degree = 1
> Number of cones: 12
> Triangulating cone... done.
> count: barvinok/barvinok.cpp:572: int
> barvinokDecomposition_Single(listCone*, Single_Cone_Parameters*): Assertion
> `num_rays == Parameters->Number_of_Variables'
> failed.
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
