I'd really hate if a computation that I believe to be exact using RIF gets inadvertently inexact by overlooking an automatic coercion RR->RIF.
On the other hand, I would not have an automatic coercion from RIF to RR (to which element of RR do you map some rather large interval in RIF?). I'd have to choose whether I'd like to have the center or something else. In my view, RIF and RR are not different implementations of the same exact mathematical object "real numbers", but RIF are _intervals_ of real numbers (or rather: intervals of real numbers with (some) rational endpoints). Therefore, my vote is On Tuesday, March 18 2014 16:22:44 UTC+1 Marco Streng wrote: > 1) explicit conversion RR --> RIF: allow / disallow > 2) explicit conversion RIF --> RR: allow / disallow > 3) automatic coercisions: disallow / (RR-->RIF) / (RIF-->RR) 1) allow 2) disallow 3) disallow Best, Clemens Heuberger -- 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.
