Changes between Version 17 and Version 21 of Ticket #14540


Ignore:
Timestamp:
04/21/16 11:52:49 (3 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14540

    • Property Summary changed from Fix complicated MILP constraints to Fix chaining of MILP constraints
    • Property Dependencies changed from to #20478
    • Property Commit changed from ba7613b12a717f7ca72137d9c91d7edca5f6cbbb to f41c195c520c10eede129873dd047fd6bc85ba95
  • Ticket #14540 – Description

    v17 v21  
    44sage: int(1) <= b[0] <= int(2)
    55x_0 <= 2
    6 }}}
    7 
    8 {{{
    9 sage: p = MixedIntegerLinearProgram()
    10 sage: b = p.new_variable()
    11 sage: b[0] <= 3 <= 4 <= b[1]
    12 4 <= x_1
    136}}}
    147
     
    26192 <= x_0 <= 555*x_1
    2720}}}
     21
     22This can never work due to the way Python handles chained comparisons:
     23{{{
     24sage: p = MixedIntegerLinearProgram()
     25sage: b = p.new_variable()
     26sage: b[0] <= 3 <= 4
     27True
     28}}}