[sv-bc] problem with $increment

The definition if $increment appears to be backwards. I
thought that the purpose of $increment was to allow writing
of a for loop like:

    for (i = $left(A, 1);
         i != $right(A, 1) + $increment(A, 1);
         i += $increment(A, 1)) { ...

So that in my imagination $increment(A, 1) is +1 if the bounds
increase from left to right, and -1 if the bounds decrease. But the
actual lrm wording is that $increment is +1 if the left bound is
greater than the right bound, which is the opposite of what seems
natural.

Paul
Received on Fri Jun 4 19:58:16 2004