Step(f(n), For(n, a, b)) represents the sequence of values f(n)
for n
between the integers a
and b. The sequence is empty if b<a. This expression does not represent a mathematical object: it only exists at the expression level, and injects the sequence between a surrounding arguments. To construct a mathematical object, we must pass the generator expression to a function such as Tuple. Examples:
f(Step(Pow(k, 2), For(k, 1, 10)))
f(12,22,…,102)
Tuple(Step(Repeat(n, n), For(n, 0, N)))
⎝⎛0 times0,…,0,1 times1,…,1,…,N timesN,…,N⎠⎞
Tuple(1, 2, 2, Step(Repeat(n, n), For(n, 3, N)))
⎝⎛1,2,2,3 times3,…,3,4 times4,…,4,…,N timesN,…,N⎠⎞
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Pow | ab | Power |
Source code for this entry:
Entry(ID("73f5e7"), SymbolDefinition(Step, Step(f(n), For(n, a, b)), "Enumerated sequence"), Description(SourceForm(Step(f(n), For(n, a, b))), " represents the sequence of values ", f(n), "for ", n, "between ", "the integers", a, "and", b, ". ", "The sequence is empty if ", Less(b, a), ". ", "This expression does not represent ", "a mathematical object: it only exists at the expression level, and ", "injects the sequence between a surrounding arguments. ", "To construct a mathematical object, we must pass the generator expression ", "to a function such as", SourceForm(Tuple), ". Examples: "), Description(SourceForm(f(Step(Pow(k, 2), For(k, 1, 10))))), Description(f(Step(Pow(k, 2), For(k, 1, 10)))), Description(SourceForm(Tuple(Step(Repeat(n, n), For(n, 0, N))))), Description(Tuple(Step(Repeat(n, n), For(n, 0, N)))), Description(SourceForm(Tuple(1, 2, 2, Step(Repeat(n, n), For(n, 3, N))))), Description(Tuple(1, 2, 2, Step(Repeat(n, n), For(n, 3, N)))))