►Range(a, b) — {a,a+1,…,b}
— Given a∈Z
and b∈Z, represents {n:n∈Zanda≤n≤b}.
►Range(a, b) — {a,a+1,…,b}
— Given a∈Z
and b∈Z, is equivalent to Set(n, For(n, a, b)).
►Range(3, 3) — {3,4,…,3}
— Represents the singleton set {3}. Note: potentially confusing rendering.
►Range(3, 2) — {3,4,…,2}
— Represents the empty set. Note: potentially confusing rendering.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Range | {a,a+1,…,b} | Integers between given endpoints |
| ZZ | Z | Integers |
Source code for this entry:
Entry(ID("00b82b"),
SymbolDefinition(Range, Range(a, b), "Integers between given endpoints"),
CodeExample(Range(a, b), "Given", Element(a, ZZ), "and", Element(b, ZZ), ", represents", Set(n, ForElement(n, ZZ), LessEqual(a, n, b)), "."),
CodeExample(Range(a, b), "Given", Element(a, ZZ), "and", Element(b, ZZ), ", is equivalent to", SourceForm(Set(n, For(n, a, b))), "."),
CodeExample(Range(3, 3), "Represents the singleton set", Set(3), ".", " Note: potentially confusing rendering."),
CodeExample(Range(3, 2), "Represents the empty set.", " Note: potentially confusing rendering."))