id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
20296 MixedIntegerLinearProgram: New backend using InteractiveLPProblem mkoeppe "If one has to solve a small LP with irrational (say, `AA`) data (and needs access to the exact solution), the only available tool is the didactical implementation of the simplex method in `InteractiveLPProblem` (but see #18735). This ticket implements a `MixedIntegerLinearProgram` backend using `InteractiveLPProblem`.
Example:
{{{
sage: poly = polytopes.dodecahedron(base_ring=AA)
sage: lp = poly.to_linear_program(solver='InteractiveLP')
sage: b = lp.get_backend()
sage: b.set_objective([1, 1, 1])
sage: lp.solve()
2.291796067500631?
}}}
(This example uses backend functions because of #20301; and the `base_ring=AA` is there because of #13041.)" enhancement closed major sage-7.2 numerical fixed lp dimpase novoselt ncohen vdelecroix chapoton Matthias Koeppe Andrey Novoseltsev, Dima Pasechnik N/A 8c1fd4ac48dac291a2cd0af8668287254977977a 8c1fd4ac48dac291a2cd0af8668287254977977a