Changes between Initial Version and Version 4 of Ticket #18764


Ignore:
Timestamp:
06/24/15 17:05:27 (4 years ago)
Author:
mkoeppe
Comment:

Needs review.


New commits:

1ec429bHave solve call glp_exact if requested by solver parameter simplex_or_intopt

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18764

    • Property Status changed from new to needs_review
    • Property Commit changed from to 1ec429b9715686740a905465a7d1f6a0def5f899
    • Property Branch changed from to u/mkoeppe/add_glp_exact_to_sage_s_glpk_bindings
  • Ticket #18764 – Description

    initial v4  
    11The function glp_exact provides access to an implementation of the simplex method in exact rational arithmetic (using GMP).
    22
    3 (The only access to data is via double-precision floats, however. It reconstructs rationals from doubles and provides results as doubles using the standard API functions of GLPK. Direct access, using GMP rationals, would be possible through the header file glpssx.h, which is not a public header as of GLPK 4.55; see http://lists.gnu.org/archive/html/help-glpk/2007-10/msg00031.html http://lists.gnu.org/archive/html/help-glpk/2008-06/msg00006.html http://lists.gnu.org/archive/html/help-glpk/2013-11/msg00019.html)
     3The only access to data is via double-precision floats, however. It reconstructs rationals from doubles and provides results as doubles using the standard API functions of GLPK.
    44
    5 (On the Sage side, one could reconstruct the rational solution via #18735.)
     5On the Sage side, since the combinatorial basis information is available via get_col_stat, get_row_stat, one could then reconstruct the rational solution. See #18735.
     6
     7(Direct access, using GMP rationals, would be possible through the header file glpssx.h; see ticket #18765.)