Generator
Two models, and the sheet that has carried both
A generator in the curves and material 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.
overlay-union 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: "pair", a: "preliminary-base", b: "hexagon-twist"
view: "crossing"
view: "census"
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.
- developability holds at every interior vertex — its sectors close to 360° — 1 checked ×5
- Kawasaki holds at every interior vertex — the alternating sums of the sectors agree — 1 checked ×5
- Maekawa holds at every interior vertex — mountains and valleys differ by exactly two — 1 checked ×5
- the big-little-big lemma holds at every interior vertex — no strictly smallest sector is flanked by two creases of one assignment — 1 checked ×5
- a crossing of two straight creases satisfies Kawasaki exactly when they cross at a right angle ×1
- every node of the straight skeleton is equidistant from each edge that defined it, so one fold serves them all — 1 checked ×1
- every pair of this site's own printed patterns that cross at all produces vertices that fail Kawasaki ×1
- overlaying each of 8 patterns with itself adds no vertex, so a fresh vertex in the census is a real crossing between two different patterns rather than an artefact of the merge ×1
- the The hexagon twist is put past all four theorems before it is drawn ×1
- the The preliminary base is put past all four theorems before it is drawn ×1
- the The square twist is put past all four theorems before it is drawn ×1
- the The waterbomb tessellation is put past all four theorems before it is drawn ×1
- the The Yoshimura pattern is put past all four theorems before it is drawn ×1
- the union of The preliminary base and The hexagon twist has 12 vertices neither pattern had, and 10 of them fail Kawasaki ×1
- the union of The preliminary base and The square twist has 4 vertices neither pattern had, and 0 of them fail Kawasaki ×1
- the union of The Yoshimura pattern and The waterbomb tessellation has 120 vertices neither pattern had, and 120 of them fail Kawasaki ×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 curves and material field · The patterns a reader can fold