This was a "demonstration problem" - my actual application will involve arbitrary-precision reals with lots of constraints.
It appears that PPL not only supports rationals, but insists on them. It seems to set the base_ring to QQ, as the output from the following code is "Rational Field", but I can find no way to alter base_ring. Any suggestions on how I might accomplish that? (For glpk the base_ring is "Real Double Field", and I can't find a way to alter that either.) from sage.numerical.backends.generic_backend import get_solver p = get_solver(solver = "PPL") print p.base_ring() -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.