Marco Streng wrote:
> So the choices are:
>
> 1) explicit conversion RR --> RIF: allow / disallow
> 2) explicit conversion RIF --> RR: allow / disallow
> 3) automatic coercisions: disallow / (RR-->RIF) / (RIF-->RR)
[...]
> My vote is:
> 1) allow
> 2) allow
> 3) from RIF to RR
Mine is:
1) allow
2) allow for point intervals, require the use of explicit method calls
(e.g., center()) for general intervals
3) disallow (but see below)
Regarding 3), and in response to Thomas Coffee's arguments, I would be
in favor of also having "non-rigorous intervals", living in a separate
parent, with a coercion from RR. In fact, one also needs intervals with
integer, rational or even symbolic endpoints from time to time. So
unless I'm missing something, these "non-rigorous interval" could simply
be the elements of Intervals(RR), where Intervals(C) would work for more
or less arbitrary C. (And there could perhaps be a coercion from RIF to
Intervals(RR), but certainly not in the other direction.)
--
Marc
--
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.
