There is currently no arbitrary precision LP solver backend available. It is sorely missed in some coding theory -related LP computations, see #12418.

One option is to hook up PPL, another might be to hook up GLPK for this purpose. Both have the corresponding functionality, it's just not exposed (?) in P(C)ython for GLPK, and not hooked up as an LP backend in case of PPL.

To try this patch, apply attachment: trac_12533_arbitrary_precision_LP_solver_backend_for_5.3_vb.patch

Depends on #13646

CC: @sagetrac-jpang @kini @wdjoyner @nathanncohen @ppurka @vbraun @ptrrsn @dcoudert

Component: linear programming

Keywords: arbitrary precision

Author: Risan

Reviewer: David Coudert, Nathann Cohen, Dmitrii Pasechnik

Merged: sage-5.5.beta2

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