On Thu, Mar 13, 2014 at 10:08:05PM +0100, Vincent Delecroix wrote: [...] > I would advocate that RLF is a very good approximation of what should > be RR. Perhaps one good direction to take is to try to make RLF > smarter and contains all constants from pi to cos(42^e).
A generalisation of RLF could be "real computable numbers" (the set of numbers whose digits can be enumerated by a Turing machine). It seems that some usable implementations do exist already. I am not sure one representation should be selected above another. Even if this representation is the most expressive (contains a lot of elements), it is not able to decide equality, while e.g. AA is. Ciao, Thierry -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
