Opened 7 years ago

Closed 5 years ago

#13142 closed defect (worksforme)

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

Reported by: dimpase Owned by: ncohen
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: linear programming Keywords:
Cc: ncohen, ppurka, ptrrsn_1 Merged in:
Authors: Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

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 6 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:2 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:4 Changed 5 years ago by jdemeyer

  • Milestone changed from sage-6.3 to sage-duplicate/invalid/wontfix
  • Reviewers set to Jeroen Demeyer
  • Status changed from new to needs_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 5 years ago by jdemeyer

  • Status changed from needs_review to positive_review

comment:6 Changed 5 years ago by vbraun

  • Resolution set to worksforme
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.