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

Symbolic expressions