A generator in the designing a base library, called 6 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.
grid-packing 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
counts: [3, 4, 5, 6], grids: [4, 8], n: 6
counts: [3, 4, 5], grids: [4, 8], n: 5
counts: [3, 4, 5, 6], grids: [4, 6], n: 5
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.
over 4 disc counts and 2 lattices, no lattice packing beats the free search — 8 comparisons ×3
halving the grid pitch never costs more than the coarser grid did, because every coarse arrangement is still available ×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.