Opened 9 years ago
Closed 5 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: |
Description
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.
Change History (7)
comment:1 Changed 8 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:2 Changed 7 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:3 Changed 7 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:4 Changed 7 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:5 Changed 5 years ago by
- 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
comment:6 Changed 5 years ago by
- Reviewers set to Travis Scrimshaw
- Status changed from needs_review to positive_review
I agree.
comment:7 Changed 5 years ago by
- 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.
This seems to be fixed with the version of lrs installed in current Sage.