The function glp_exact provides access to an implementation of the simplex method in exact rational arithmetic (using GMP).

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.

On 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.

(Direct access, using GMP rationals, would be possible through the header file glpssx.h; see ticket #18765.)

CC: @yuan-zhou @dimpase @nathanncohen

Component: numerical

Author: Matthias Koeppe, Yuan Zhou

Branch/Commit: 37fbc4a

Reviewer: Dima Pasechnik

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