Fungrim home page

Fungrim entry: 82c978

Symbol: Repeat x,,xn times\underbrace{x, \ldots, x}_{n \text{ times}} Repeating sequence
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 (1,,1N times,0,1,2,3,,1,2,3(1,2,3)  M times,1,2)\left(\underbrace{1, \ldots, 1}_{N \text{ times}}, 0, \underbrace{1, 2, 3, \ldots, 1, 2, 3}_{\left(1, 2, 3\right) \; M \text{ times}}, 1, 2\right).
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), "."))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC