#20302: Meta-ticket: Improvements to MixedIntegerLinearProgram and its backends
-----------------------------+------------------------
Reporter: mkoeppe | Owner:
Type: task | Status: new
Priority: major | Milestone: sage-7.2
Component: numerical | Resolution:
Keywords: lp | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #20296 | Stopgaps:
-----------------------------+------------------------
Description changed by mkoeppe:
Old description:
> Frontend:
> - #20304: More error checking in `MixedIntegerLinearProgram`
> - #19523: defect: Adding constraints for the wrong MILP crashes Sage
> - #20331: MIPVariable misreports its dimension (always 1)
> - #18733: enhancement: `MixedIntegerLinearProgram` should support
> tableau-query methods
> - #18688: task: `MixedIntegerLinearProgram` should support basis status
> getting/setting
>
> Wishlist tickets:
> - #7290: Dual method for linear programs
> - #15356: linear programming enhancements
>
> Improvements to backends:
> - #20303: Fixes for `add_variables` in CVXOPT, PPL, GLPK MIP backends
> and `add_linear_constraints` in CVXOPT
> - #19525: enhancement: Improve GLPK error handling
> - #20332: `CVXOPTBackend`: Set initial `problem_name`
> - #20337: MIP: Several fixes regarding constant terms in the objective
> function
> - #20323: Common `TestSuite` for MIP backends
> - #20324: MIP backends: Unify `add_col`, `add_variable`
> - #20325: `GenericBackend`: Add default implementation of
> `add_variables` and `add_linear_constraints`
> - #20326: `GenericBackend`: Fix doctest of add_linear_constraint_vector
> - #20328: tests related to cplex / gurobi
> - #10232: MIP backends should perform bounds checks
>
> New backends:
> - #20296: `MixedIntegerLinearProgram`: New backend using
> `InteractiveLPProblem`
> - #18735: `MixedIntegerLinearProgram`/`HybridBackend`: Reconstruct exact
> rational/algebraic basic solution
> - #19219: MILP: Add "CyLP" backend
> - #18862: Interface to COIN `OpenSolverInterface`
> - #10879: add optional SCIP integer constraint solver (dup: #8672)
> - #18766: Add bindings, `MixedIntegerLinearProgram` backend to qsopt_ex,
> a state-of-the-art exact simplex solver
>
> Interactions with `InteractiveLinearProgram` and its dictionaries:
> - #18734: Construct an `interactive_simplex_method.LPDictionary` from a
> `MixedIntegerLinearProgram`
> - #20311: `interactive_simplex_method` enhancements
> - #20203: `LPCleanDictionary` - floating-point helper class for
> interactive simplex method
> - #18804: `LPBackendDictionary` - a debugging view of a MIP backend
> connected to `interactive_simplex_method`
>
> Interactions with polyhedra:
> - #20301 `Polyhedron.to_linear_program` should return the MIP variable
> used
New description:
Frontend:
- #20304: More error checking in `MixedIntegerLinearProgram`
- #19523: defect: Adding constraints for the wrong MILP crashes Sage
- #20331: A `MIPVariable`'s repr should include some useful information
- #18733: enhancement: `MixedIntegerLinearProgram` should support
tableau-query methods
- #18688: task: `MixedIntegerLinearProgram` should support basis status
getting/setting
Wishlist tickets:
- #7290: Dual method for linear programs
- #15356: linear programming enhancements
Improvements to backends:
- #20303: Fixes for `add_variables` in CVXOPT, PPL, GLPK MIP backends and
`add_linear_constraints` in CVXOPT
- #19525: enhancement: Improve GLPK error handling
- #20332: `CVXOPTBackend`: Set initial `problem_name`
- #20337: MIP: Several fixes regarding constant terms in the objective
function
- #20323: Common `TestSuite` for MIP backends
- #20324: MIP backends: Unify `add_col`, `add_variable`
- #20325: `GenericBackend`: Add default implementation of `add_variables`
and `add_linear_constraints`
- #20326: `GenericBackend`: Fix doctest of add_linear_constraint_vector
- #20328: tests related to cplex / gurobi
- #10232: MIP backends should perform bounds checks
New backends:
- #20296: `MixedIntegerLinearProgram`: New backend using
`InteractiveLPProblem`
- #18735: `MixedIntegerLinearProgram`/`HybridBackend`: Reconstruct exact
rational/algebraic basic solution
- #19219: MILP: Add "CyLP" backend
- #18862: Interface to COIN `OpenSolverInterface`
- #10879: add optional SCIP integer constraint solver (dup: #8672)
- #18766: Add bindings, `MixedIntegerLinearProgram` backend to qsopt_ex,
a state-of-the-art exact simplex solver
Interactions with `InteractiveLinearProgram` and its dictionaries:
- #18734: Construct an `interactive_simplex_method.LPDictionary` from a
`MixedIntegerLinearProgram`
- #20311: `interactive_simplex_method` enhancements
- #20203: `LPCleanDictionary` - floating-point helper class for
interactive simplex method
- #18804: `LPBackendDictionary` - a debugging view of a MIP backend
connected to `interactive_simplex_method`
Interactions with polyhedra:
- #20301 `Polyhedron.to_linear_program` should return the MIP variable
used
--
--
Ticket URL: <http://trac.sagemath.org/ticket/20302#comment:22>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
