lrs_volume does not work with long numbers

[dkrenn]

The following (minimal) example does not work:

sage: prec = 24
sage: Polyhedron(vertices=[[10^prec,0], [0,10^prec], [-10^prec,0], [0,-10^prec]]).lrs_volume(verbose=True)
V-representation
begin
 4 3 rational
 1 1000000000000000000000000 0
 1 0 1000000000000000000000000
 1 -1000000000000000000000000 0
 1 0 -1000000000000000000000000
end
volume

*lrs:lrslib v.4.2b, 2006.10.31(32bit,lrsmp.h)
*Copyright (C) 1995,2006, David Avis   avis@cs.mcgill.ca 
*Input taken from file /home/daniel/.sage//temp/nops/2917//tmp_0
*volume
H-representation
begin
***** 3 rational
 1000000000000000000000000  1 -1 
 1000000000000000000000000  1  1 
Overflow at digits=100
Initialize lrs_mp_init with  n > 100L

Traceback (most recent call last)
...
ValueError: lrs did not return a volume

It seems, that the lines cannot be longer than 100 characters and that that is somewhere hard-coded. It would be good if that can be changed somewhere.

CC: @dimpase @mkoeppe @fchapoton @videlec @jdemeyer

Component: packages: optional

Keywords: lrs volume long numbers

Reviewer: Travis Scrimshaw

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

[mkoeppe]

comment:5

This seems to be fixed with the version of lrs installed in current Sage.

sage: prec = 24
sage: P = Polyhedron(vertices=[[10^prec,0], [0,10^prec], [-10^prec,0], [0,-10^prec]])
sage: P.volume(engine='lrs')
2e+48

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:6

I agree.

[embray]

comment:7

Determined to be invalid/duplicate/wontfix (closing as "wontfix" as a catch-all resolution).