From a packing to a crease pattern — the ridges and hinges generator
A generator in the designing a base library, called 5 times across 1 essay. Below: what it draws at its defaults and at the arguments the essays give it, what it checked while drawing, and everywhere it is used.
ridges-and-hinges is one function. Everything below came out of it during this
build, at arguments 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 when the generator changes, this
page changes with it.
At its defaults
r: 0.28, show: "both"
r: 0.24, show: "both"
r: 0.28, show: "ridges"
What it checked while it drew
Collected by running this generator with a listener on the assertions, not written here.
The count is how many separate times this build put that claim to the test.
corner discs of radius 0.28 leave a packing with something in the middle, so there are hinges to find ×3
4 pairs of discs touch, and each touching pair is where a hinge crease comes from ×1
each touch point lies on both circles and its hinge crease is perpendicular to the line of centres, to 1e-9 — the construction rather than a sketch of it ×1
no two discs of the packing overlap ×1
Where it is called
Changing this generator changes every figure on this list, which is what makes the list
worth publishing rather than keeping in a check script.