Generator
chains
A generator in the logic library, called 7 times across 1 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.
chains 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
show: "sets"
What it checks while it draws
Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.
- each element belongs to exactly one chain ×1
- every moved point lands strictly inside the open interval ×1
- every point the map has to reach is reached ×1
- no two moved points land on the same place ×1
- the assembled map sends no two elements to the same place ×1
- the left-to-right map sends different elements to different places ×1
- the left-to-right shift is a whole number between 1 and 4 ×1
- the number of elements drawn from each side is a whole number between 5 and 14 ×1
- the number of sequence terms drawn is a whole number between 4 and 12 ×1
- the right-to-left map sends different elements to different places ×1
- the right-to-left shift is a whole number between 1 and 4 ×1
- the two maps are different, or there are no chains to see ×1
- the window shows at least three chains ×1
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.