Generator
Two packings, one radius — the contact graph generator
A generator in the designing a base library, called 6 times across 1 essay. Below: what it draws with nothing specified and with the settings the essays give it, what it checked while drawing, and everywhere it is used.
contact-graph is one function. Everything below was drawn by it when the site was
last published, at settings 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.
With nothing specified
view: "graphs", n: 5, tol: 0.0004
view: "graphs", n: 6, tol: 0.0004
view: "classes", counts: [4, 5, 6, 7, 8], tol: 0.0004
What it checked while it drew
Collected while it drew, not written by hand. The count is how many separate times that claim was put to the test.
- the same search on 6 flaps returned 3 different contact graphs, so there are two arrangements to set side by side ×2
- a contact graph is compared by a label two isomorphic graphs must share, so two rows counted apart are provably different graphs and two counted together may not be ×1
- both arrangements were returned by complete runs of the same search and agree about the best radius to four decimal places ×1
Where it is called
Every figure listed here is drawn by the same rule, so a mistake in the rule would be in all of them at once, and so would a correction.
All the figures · The designing a base field · The patterns a reader can fold