Thanks, Barton. I'm in agreement on every point except this.
> Use floor and ceiling on non-integer endpoints
>
> (%i11) sqrt(2) .. sqrt(15);
> (%o11) [2,3]
I think this should be a noun expression. One could readily guess
that sqrt(2) .. sqrt(15) is going to be a real interval, and indeed with
additional machinery maybe it could be. So instead of imposing
floor and ceiling let's just let it be. One can apply intergerificaton
by hand if they want.
As a tangential issue, I am interested in the idea that a .. b could
be a lazy sequence, elements of which are generated on demand.
Dunno if that needs a separate notation.
best
Robert Dodier