#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 defects:
> - #20304: More error checking in `MixedIntegerLinearProgram`
> - #19523: defect: Adding constraints for the wrong MILP crashes Sage
> - #13696: process chained equalities with different signs correctly
> - #14540: MILP constraints are silently misunderstood
> - #15159: Segfault after deepcopy of `MixedIntegerLinearProgram`
>
> Frontend wishlist tickets:
> - #20331: A `MIPVariable`'s repr should include some useful information
> - #18733: `MixedIntegerLinearProgram` should support tableau-query
> methods
> - #18688: `MixedIntegerLinearProgram` should support basis status
> getting/setting
> - #7290: Dual method for linear programs (dup: #13141)
> - #7300: Display tight constraints
> - #7790: Setting a default max/min bound when calling
> `MixedIntegerLinearProgram.new_variable`
> - #15356: linear programming enhancements
> - #15583: `sage.numerical.linear_functions.LinearConstraint` is not a
> hashable type
>
> 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`
> - #18572: CVXOPT solver equations handling
> - #20323: Common `TestSuite` for MIP backends
> - #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: check GLPK bound errors
> - #20354: `PPLBackend`: Add support for integer variables
> - #20360: Add `sig_on`/`sig_off` to COINBackend
> - #20361: PPL backend re-solves the problem every time
> `get_variable_value` or `get_objective_value` is called
>
> Improvements to the backend interface:
> - #20337: MIP: Several fixes regarding constant terms in the objective
> function
> - #20324: MIP backends: Unify `add_col`, `add_variable`
> - #20362: MIP backends: Make variable type consistent between
> add_variable, set_variable_type (with deprecation)
>
> Improvements to underlying libraries:
> - #19903 crash with `MIP_Problem`
> - #20351: `sage.libs.ppl.MIP_Problem`: Add support for integer variables
>
> 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 defects:
- #20304: More error checking in `MixedIntegerLinearProgram`
- #13696: process chained equalities with different signs correctly
- #14540: MILP constraints are silently misunderstood
- #15159: Segfault after deepcopy of `MixedIntegerLinearProgram`
Frontend wishlist tickets:
- #19523: Raise an error when constraints are added to the wrong MILP
- #20331: A `MIPVariable`'s repr should include some useful information
- #18733: `MixedIntegerLinearProgram` should support tableau-query
methods
- #18688: `MixedIntegerLinearProgram` should support basis status
getting/setting
- #7290: Dual method for linear programs (dup: #13141)
- #7300: Display tight constraints
- #7790: Setting a default max/min bound when calling
`MixedIntegerLinearProgram.new_variable`
- #15356: linear programming enhancements
- #15583: `sage.numerical.linear_functions.LinearConstraint` is not a
hashable type
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`
- #18572: CVXOPT solver equations handling
- #20323: Common `TestSuite` for MIP backends
- #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: check GLPK bound errors
- #20354: `PPLBackend`: Add support for integer variables
- #20360: Add `sig_on`/`sig_off` to COINBackend
- #20361: PPL backend re-solves the problem every time
`get_variable_value` or `get_objective_value` is called
Improvements to the backend interface:
- #20337: MIP: Several fixes regarding constant terms in the objective
function
- #20324: MIP backends: Unify `add_col`, `add_variable`
- #20362: MIP backends: Make variable type consistent between
add_variable, set_variable_type (with deprecation)
Improvements to underlying libraries:
- #19903 crash with `MIP_Problem`
- #20351: `sage.libs.ppl.MIP_Problem`: Add support for integer variables
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:31>
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.
