#12533: arbitrary precision LP solver backend
----------------------------------+-----------------------------------------
Reporter: dimpase | Owner: ncohen
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.0
Component: linear programming | Keywords: arbitrary precision, LP
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
----------------------------------+-----------------------------------------
Comment(by ptrrsn_1):
The file
''[http://trac.sagemath.org/sage_trac/attachment/ticket/12533/trac_12533_arbitrary_precision_LP_solver_backend.patch
trac_12533_arbitrary_precision_LP_solver_backend.patch]'' is a `PPL
`backend for `MixedIntegerLinearProgram`. It works for all
`MixedIntegerLinearProgram `functions related to general LP (excluding
integer LP and binary LP) listed in
http://www.sagemath.org/doc/reference/sage/numerical/mip.html, except for
`set_binary`, `set_integer`, `set_real`, `write_lp`, `write_mps`.
A new `MixedIntegerLinearProgram `with `PPL `as solver can be gotten by
setting the `solver `parameter in `MixedIntegerLinearProgramming`'s
constructor to `"PPL"`, e.g. `MixedIntegerLinearProgram(solver = "PPL")`
The additional feature of this backend is, it supports arbitrary precision
calculations. We can get the exact optimal value by setting the `exact
`parameter in `solve `method to `True`, i.e. `p.solve(exact = True)`.
Similarly, we can get the exact optimal solution by setting the `exact
`parameter in `get_values `to `True`, i.e. `p.get_values(exact = True,
...)`, which by default will return a `vector `over `QQ`. However, we can
also opt for the usual format of the optimal solution, i.e. as a
`dictionary `instead of a `vector `over `QQ`, by setting the `as_vector`
parameter to `False`, e.g. `p.get_values(exact = True, as_vector =
False).`
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12533#comment:3>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
