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 at its defaults and at the arguments the essays give it, what it checked while drawing, and everywhere it is used.
overlay-union 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
view: "pair", a: "preliminary-base", b: "hexagon-twist"
view: "crossing"
view: "census"
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.
- 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
Changing this generator changes every figure on this list, which is what makes the list worth publishing rather than keeping in a check script.
Every generator · The curves and material field · The patterns a reader can fold