A generator in the rigid folding library, called 6 times across 2 essays. 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.
reachable-states 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
cases: [60,90, 30,120, 45,45, 50,70, 80,55]
cases: [60,90, 45,45]
cases: [30,120, 80,55, 45,45]
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.
5 vertices are compared, each between what the theorems allow and what the linkage reaches ×3
at least one vertex reaches strictly fewer states than the enumeration allows, which is the gap between existence and reachability the figure exists to show ×1
every state the linkage actually reaches is one the combinatorial enumeration allows — the motion never escapes the theorems ×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.