Re: [sage-devel] Re: How to define a new ring class ? [We need a class representing genuine real field]

[mmarco]

> 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). 
>
> Somehow, it already does (i.e. internally it keeps track of their 
symbollic nature):

{{{
 sage: b=RLF(cos(42^e))
sage: b
0.9578837974?
sage: b.eval(SR)
cos(42^e)
}}}

Maybe the issue is that there is no coercion between SR and RLF (there is 
conversion from SR to RLF, and the .eval() method that can take elements 
from RLF to SR, though).  


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