Opened 10 years ago

Closed 6 years ago

#13117 closed defect (wontfix)

lrs_volume does not work with long numbers

Reported by: dkrenn Owned by: tbd
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: packages: optional Keywords: lrs volume long numbers
Cc: dimpase, mkoeppe, chapoton, vdelecroix, jdemeyer Merged in:
Authors: Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


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)
 4 3 rational
 1 1000000000000000000000000 0
 1 0 1000000000000000000000000
 1 -1000000000000000000000000 0
 1 0 -1000000000000000000000000

*lrs:lrslib v.4.2b, 2006.10.31(32bit,lrsmp.h)
*Copyright (C) 1995,2006, David Avis 
*Input taken from file /home/daniel/.sage//temp/nops/2917//tmp_0
***** 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.

Change History (7)

comment:1 Changed 9 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:2 Changed 9 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:4 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:5 Changed 6 years ago by mkoeppe

  • Cc dimpase mkoeppe chapoton vdelecroix jdemeyer added
  • Milestone changed from sage-6.4 to sage-duplicate/invalid/wontfix
  • Status changed from new to needs_review

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')

comment:6 Changed 6 years ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

I agree.

comment:7 Changed 6 years ago by embray

  • Resolution set to wontfix
  • Status changed from positive_review to closed

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

Note: See TracTickets for help on using tickets.