Represents the first arguments repeated the number of times specified by the last argument. This expression does not represent a mathematical object: it only exists at the expression level, and injects the sequence between surrounding arguments. To construct a mathematical object, we must pass the generator expression to a function such as Tuple. Example: Formula(Tuple(Repeat(1, N), 0, Repeat(1, 2, 3, M), 1, 2)) renders as ⎝⎛N times1,…,1,0,(1,2,3)M times1,2,3,…,1,2,3,1,2⎠⎞.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|
Source code for this entry:
Entry(ID("82c978"),
SymbolDefinition(Repeat, Repeat(x, n), "Repeating sequence"),
Description("Represents the first arguments repeated the number of times ", "specified by the last argument. This expression does not represent ", "a mathematical object: it only exists at the expression level, and ", "injects the sequence between surrounding arguments. ", "To construct a mathematical object, we must pass the generator expression ", "to a function such as", SourceForm(Tuple), ". Example: ", SourceForm(Formula(Tuple(Repeat(1, N), 0, Repeat(1, 2, 3, M), 1, 2))), "renders as ", Tuple(Repeat(1, N), 0, Repeat(1, 2, 3, M), 1, 2), "."))