Am 2014-03-18 18:28, schrieb Clemens Heuberger: > 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
+1 Daniel -- 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.
