^ note: ^3 means the integer "just before" 3 (zero is presume to be the
start point)
3^ means the integer "just after" 3 (an ending point is
required)
On 12/31/20 10:15 PM, Kevin Pye wrote:
No, it does not. Go back and read what Brad wrote; he was quite explicit.
Nothing about the range 0 ..^ 3 (for which "^3" is just a short-cut)
says anything about integers. It is the range of numbers (real numbers
if you like) ranging from 0 to 3, but excluding 3. In standard
mathematical notation that would be "[0,3)". If you iterate over the
range then you start with the beginning of the range and keep adding one
until you reach the end (in this case ignoring the final value if it is
equal to the end-point).
If the range were 0.5 .. 3 then the iterated values would be 0.5, 1.5
and 2.5.
Hi Kevin,
I am glad to be wrong!
I am going to have to play with REPL a bunch.
I will write back my new notes.
Thank you!
-T
