ZZ ..< ZZ -- sequences of consecutive integers

• Operator: ..<

• Usage:

  s ..< t

• Inputs:
  • s, an integer
  • t, an integer
• Outputs:
  • a sequence, the sequence of consecutive integers from s to t, not including the endpoint

i1 : 0 ..< 10

o1 = (0, 1, 2, 3, 4, 5, 6, 7, 8, 9)

o1 : Sequence

i2 : x = {a,c,e,f}

o2 = {a, c, e, f}

o2 : List

i3 : 0 ..< #x

o3 = (0, 1, 2, 3)

o3 : Sequence

i4 : apply(0 ..< #x, i -> x#i)

o4 = (a, c, e, f)

o4 : Sequence