Hi,

On Mon, Jan 06, 2014 at 01:18:07PM -0800, Nils Bruin wrote:
> Here is something I think is really a bug:
>
> sage: parent(RealField(200)(1) + 1e-20)
> Real Field with 53 bits of precision

On Mon, Jan 06, 2014 at 10:46:44PM +0100, Zimmermann Paul wrote:
> this demonstrates another inconsistency:
> 
> sage: a=1e-20
> sage: RealField(200)(a)
> 1.0000000000000000000000000000000000000000000000000000000000e-20
> sage: RealField(200)(a+0)
> 9.9999999999999994515327145420957165172950370278739244710772e-21
> sage: RealField(200)(1*a)
> 9.9999999999999994515327145420957165172950370278739244710772e-21
> 

What if, instead of inheriting from RealField(53), real literals inherit
from RealLazyField() ?

sage: a = RealLazyField()('1e-20')

sage: parent(RealField(200)(1) + a)
Real Field with 200 bits of precision

sage: RealField(200)(a)
1.0000000000000000000000000000000000000000000000000000000000e-20
sage: RealField(200)(a+0)
1.0000000000000000000000000000000000000000000000000000000000e-20
sage: RealField(200)(a*1)
1.0000000000000000000000000000000000000000000000000000000000e-20

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/groups/opt_out.

Reply via email to