Opened 10 years ago

Closed 8 years ago

#13142 closed defect (worksforme)

show() of a (MI)LP should not hardwire double for entries

Reported by: Dima Pasechnik Owned by: Nathann Cohen
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: linear programming Keywords:
Cc: Nathann Cohen, Punarbasu Purkayastha, Risan Merged in:
Authors: Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Currently, show() method of an (MI)LP hardwires the coefficients of inequalities and equations to (Cython) double. This is asking for trouble when an arbitrary precision (MI)LP solver, such as one provided by PPL (see #12533) is used.

Change History (6)

comment:1 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:2 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:3 Changed 9 years ago by For batch modifications

Milestone: sage-6.2sage-6.3

comment:4 Changed 8 years ago by Jeroen Demeyer

Milestone: sage-6.3sage-duplicate/invalid/wontfix
Reviewers: Jeroen Demeyer
Status: newneeds_review

Worksforme:

sage: p = MixedIntegerLinearProgram(solver="PPL")
sage: x = p.new_variable(nonnegative=True)
sage: p.add_constraint(4/7*x[0] >= 1/2)
sage: p.show()
Maximization:
 
Constraints:
  constraint_0: -4/7 x_0 <= -1/2
Variables:
  x_0 is a continuous variable (min=0, max=+oo)

comment:5 Changed 8 years ago by Jeroen Demeyer

Status: needs_reviewpositive_review

comment:6 Changed 8 years ago by Volker Braun

Resolution: worksforme
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.