LPBackendDictionary - a debugging view of a MIP backend connected to interactive_simplex_method

[mkoeppe]

This is a follow-up on #18734.

This ticket creates:

• a new class, LPBackendDictionary (inheriting from LPAbstractDictionary), would avoid going through InteractiveLP and rather be tied directly to the MILP backend, using tableau data query functions such as getBInvArow etc.
  (It would be in a separate file perhaps interactive_backend_dictionary.py, so as not to add clutter to the didactical implementation in interactive_simplex_method.py.)

#18732 added most of the missing functions for retrieving the data of the dictionary (for the GLPK backend) such as getBInvARow etc. The remaining functions are provided by #19472.
#18763 and #19471 do the same for the COIN backend.

See also: #18733

Doctests could then test that:

• A backend has implemented all the necessary methods to get tableau information.
• The information is consistent, by checking that the LPBackendDictionary (in this ticket) and the LPDictionary (created in Construct an interactive_simplex_method.LPDictionary from a MixedIntegerLinearProgram #18734) are the same.

CC: @nathanncohen @yuan-zhou @uduse @novoselt @dimpase

Component: numerical

Work Issues: Add methods add_row, eq so that TestSuite passes

Author: Aedi Wang

Branch/Commit: u/mkoeppe/zeyi-wang--lpbackenddictionary-trac18804--lpcleandictionary-trac20203--rebased-to-9.1.beeta1 @ 06ec022

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/18804

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,11 +1,11 @@
 This is a follow-up on #18734.
 
 This ticket creates:
-- a new class, `LPBackendDictionary` (inheriting from `LPAbstractDictionary`, would avoid InteractiveLP and rather be tied directly to the MILP backend, using tableau data query functions such as `getBInvArow` etc.
+- a new class, `LPBackendDictionary` (inheriting from `LPAbstractDictionary`), would avoid going through `InteractiveLP` and rather be tied directly to the MILP backend, using tableau data query functions such as `getBInvArow` etc.
 (It would be in a separate file perhaps `interactive_backend_dictionary.py`, so as not to add clutter to the didactical implementation in `interactive_simplex_method.py`.)
 
-#18732 adds the missing functions for retrieving the data of the dictionary (for the GLPK backend) such as `getBInvARow` etc. (#18763 does the same for the COIN backend.)
-#18733 provides corresponding `MixedIntegerLinearProgram` methods.
+#18732 added most of the missing functions for retrieving the data of the dictionary (for the GLPK backend) such as `getBInvARow` etc. (#18763 does the same for the COIN backend.)
+#18733 provides a common interface and corresponding `MixedIntegerLinearProgram` methods.
 
 Doctests could then test that:
 - A backend has implemented all the necessary methods to get tableau information.

[uduse]

Branch: u/zwang/temp

[mkoeppe]

Author: Aedi Wang

[mkoeppe]

Description changed:

--- 
+++ 
@@ -4,8 +4,10 @@
 - a new class, `LPBackendDictionary` (inheriting from `LPAbstractDictionary`), would avoid going through `InteractiveLP` and rather be tied directly to the MILP backend, using tableau data query functions such as `getBInvArow` etc.
 (It would be in a separate file perhaps `interactive_backend_dictionary.py`, so as not to add clutter to the didactical implementation in `interactive_simplex_method.py`.)
 
-#18732 added most of the missing functions for retrieving the data of the dictionary (for the GLPK backend) such as `getBInvARow` etc. (#18763 does the same for the COIN backend.)
-#18733 provides a common interface and corresponding `MixedIntegerLinearProgram` methods.
+#18732 added most of the missing functions for retrieving the data of the dictionary (for the GLPK backend) such as `getBInvARow` etc. The remaining functions are provided by #19472.
+#18763 and #19471 do the same for the COIN backend. 
+
+See also: #18733 
 
 Doctests could then test that:
 - A backend has implemented all the necessary methods to get tableau information.

[mkoeppe]

Commit: 440ed87

[mkoeppe]

Dependencies: #19471, #19472

[mkoeppe]

New commits:

440ed87

backend dictionaries

[sagetrac-git]

Changed commit from 440ed87 to aa8bdc1

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

1e5f5f6	improve style, fix bug, now complete
b402777	rename general_backend_dictionary
0e97b61	add coin option
e46a9b6	CleanDictionary quick draft
cc496c0	clean dictionary
3f972c2	fix interactive_lp_problem()
bd6954b	abstract backend dictionary renamed
1cb502a	selective import messages
cbb3d3e	clean dictionary done
aa8bdc1	Merge branch 'u/zwang/temp' of git://trac.sagemath.org/sage into temp

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

ec1f167

backend dictionaries

[sagetrac-git]

Changed commit from aa8bdc1 to ec1f167

[mkoeppe]

Changed dependencies from #19471, #19472 to #19471, #19472, #18734

[mkoeppe]

Changed branch from u/zwang/temp to u/mkoeppe/temp

[mkoeppe]

New commits:

2848cf6	backend dictionaries
b0f388e	Merge commit 'e8ffa20d8d' into t/18804/temp

[mkoeppe]

Changed commit from ec1f167 to b0f388e