subject:"\[sage\-devel\] Coercion of inexact fields"

Re: [sage-devel] Coercion of inexact fields

2010-05-14 Thread Robert Bradshaw

On May 14, 2010, at 6:18 AM, Simon King wrote: Hi! I thought that when considering inexact fields (p-adic or real), a coercion map should always be from higher precision to lower precision. For reals, this holds true: sage: F1 = RealField(prec=20) sage: F2 = RealField(prec=40) sage: F1.has_

[sage-devel] Coercion of inexact fields

2010-05-14 Thread Simon King

Hi! I thought that when considering inexact fields (p-adic or real), a coercion map should always be from higher precision to lower precision. For reals, this holds true: sage: F1 = RealField(prec=20) sage: F2 = RealField(prec=40) sage: F1.has_coerce_map_from(F2) True sage: F2.has_coerc