Changes between Version 2 and Version 4 of Ticket #18734


Ignore:
Timestamp:
06/27/15 01:10:50 (4 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18734

    • Property Cc zwang added
  • Ticket #18734 – Description

    v2 v4  
    11For teaching, presentation, and debugging purposes, it could be powerful
    2 to have a function that sets up a sage.numerical.interactive_simplex_method.LPDictionary
    3 corresponding to the current basis of a MixedIntegerLinearProgram (with all variables real).
     2to have a function that sets up a `sage.numerical.interactive_simplex_method.LPDictionary`
     3corresponding to the current basis of a `MixedIntegerLinearProgram` (with all variables real).
    44
    5 (One would probably first set up an InteractiveLPProblemStandardForm from a MixedIntegerLinearProgram, and then call its "dictionary" method to construct the dictionary.)
     5The plan is as follows:
     6 - `MixedIntegerLinearProgram`.construct_interactive_lp() return an interactive LP (by querying the backend for problem data) and a list of basic variables (by querying the backend for col_stat, row_stat)
     7 - from that information, can make an `LPDictionary` or `LPRevisedDictionary` by invoking the `dictionary` or `revised_dictionary` methods.
    68
    79#18685 added the prerequisite basis status information for the case of the GLPK backend.
    8 #18688 provides corresponding MixedIntegerLinearProgram methods.
     10#18688 provides corresponding `MixedIntegerLinearProgram` methods.
     11
     12Next step:
     13 - a new class, LPBackendDictionary (or something) would avoid InteractiveLP and rather be tied directly to the backend, using tableau data query functions such as getBInvArow etc.
    914
    1015#18732 adds the missing functions for retrieving the data of the dictionary (for the GLPK backend).
    1116#18733 provides corresponding MixedIntegerLinearProgram methods.
     17
     18Doctests could then test that the LPBackendDictionary and the LPDictionary are the same.
     19