# Fungrim entry: 82c978

Symbol: Repeat $\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 $\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