id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
13696,process chained equalities with different signs correctly,dimpase,ncohen,"we have to deal with what remained from #12091. At least, report errors for the inputs like the following:
{{{
sage: p = MixedIntegerLinearProgram()
sage: b = p.new_variable()
sage: b[0] <= 555*b[1] >= 2
sage: b[0] <= 555*b[1] == 2
}}}
which even with #12091 are incorrectly processed
{{{
sage: b[0] <= 555*b[1] >= 2
2 <= x_0 <= 555*x_1
sage: b[0] <= 555*b[1] == 2
555*x_1 == 2
}}}
",defect,closed,major,sage-duplicate/invalid/wontfix,linear programming,fixed,,vbraun ppurka ncohen,,,Jeroen Demeyer,N/A,,,,#14540,