AllOnes

The constant sequence $1, 1, 1, …$ as a lazy indexed collection.

OEISA000012↗

AllOnesthe constant $1$, repeated forever.

Domain: Collections

Details

• A lazy indexed collection: $Count(AllOnes) = +\infty$, and $At(AllOnes, k) = 1$ for every $k$.
• OEIS A000012.
• A repeated-term collection: every position holds the same value, so $At$ still indexes by position while Element answers membership in the set of values -- $Element(1, AllOnes)$ is true, $Element(2, AllOnes)$ is false.

Definition

Epsil, as the implementation runs it.

count()

PositiveInfinity

unrank(_r)

1

rank(_x)

0

valid(_x)

_x == 1

Enumeration

Examples

1 more kept as data, checked against the oracles

Properties #

live ↗

In$1∈\mathrm{AllOnes}$Out$\mathrm{True}$

live ↗

In$2∈\mathrm{AllOnes}$Out$\mathrm{False}$

About

Examples	3
Crosswalk	OEIS

See also: Count, At, Element