2013/8/26 Jeroen Demeyer <jdeme...@cage.ugent.be> > It's hard to define what "coercion" would even mean in this case. The > manual mentions that it must be a ring homomorphism, but in this case (RLF, > RR, RIF) the mathematical ring is all the same, namely "the real numbers". > It is only the implementation of the ring which is different. > > I don't understand the following either: > sage: RealField(100).has_coerce_map_**from(RealField(50)) > False > sage: RealField(50).has_coerce_map_**from(RealField(100)) > True
This is clearly what we want. If you have an operation involving several real numbers with different precisions then you want that the result has the least precision. -- 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.
