Generator

clock

A generator in the discrete library, called 17 times across 4 essays. Below: what it draws at its defaults and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

clock is one function. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and if the generator changes, this page changes with it.

At its defaults

Arithmetic on a dial of 12A dial with 12 positions. Starting at 8 and stepping forward 9 places lands on 5, because the walk passes the top 1 time on the way.012345678910118 + 9= 17= 5 (mod 12)1 lap of the dial,then the remainder

show: "table"

Multiplication on a dial of 11Multiplication on a dial of 11. The modulus is prime, so every non-zero row is a rearrangement of all the residues.00000000000012345678910024681013579036914710258048159261037051049382716061728394105073106295184085210741963097531108642010987654321001122334455667788991010×11 is prime10 of 11 rows are rearrangementsof every residue

show: "orbit"

Multiplying by 2, over and over, on a dial of 11Starting at 1 and multiplying by 2 each time closes after 10 steps, visiting 10 of the 10 non-zero residues. 10 divides 10, as it must.012345678910order of 210 steps to return2^10 = 1 (mod 11)10 divides 10

show: "crt"

One number, two dials: 3 and 5A grid of remainder pairs, each cell holding the smallest number that leaves those two remainders.0612391017134511281401234012mod 3 ↓mod 5 →every one of the 15 pairs is reached, exactly onceso a remainder mod 3 and a remainder mod 5 together name one number mod 15

What it checks while it draws

Collected by running the family and listening to lib/verify.js, not written here. The count is how many separate times this build put that claim to the test.

Where it is called

Changing this generator changes every figure on this list. That is what makes the list worth publishing rather than keeping in a check script.

The whole library · What the figures prove