Conditions arrive with the interior
patch-conditions 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: "rules", ruleSizes: [2,2, 3,3, 4,4, 5,5]
view: "count", pattern: "waterbomb", sizes: [1, 2, 3, 4, 5, 6], mask: 46
view: "boundary", pattern: "waterbomb", cols: 3, rows: 3
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.
- conditions per crease rise from 0.250 on the smallest patch to 0.351 on the largest ×3
- the two boundary tests disagree at exactly the 0 vertices that lie inside a boundary edge rather than at one of its ends ×2
- every vertex of the pattern is either interior, and carries every condition, or on the edge of the sheet, and carries none ×1
- of the 512 repeating rules, 56 pass on the smallest patch and 32 on the largest ×1
- the tapered corrugation passes with 0 interior vertices and fails with 12 ×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.
A unit that folds is not a tessellation
Of the 512 repeating rules for the waterbomb tessellation, 56 pass every condition on a two-by-two patch and 32 pass on every larger one. The twenty-four that die were never foldable — the small patch simply contained one of the four kinds of vertex the pattern makes, and the failures were at the other three.
Thirty-two rules, one object
Five hundred and twelve repeating rules for the waterbomb tessellation, fifty-six that pass on a small patch, thirty-two that pass on one containing every kind of vertex. Fold all thirty-two and compare their panels: the same panels, in the same places, with the same areas, every time. The rules are thirty-two labels on one object, and a count of them has counted the labels.
Where the paper stops
Every flat-folding theorem is a statement about a full turn of paper, so a vertex at the edge of the sheet is subject to none of them. Cutting a patch out of a pattern removes conditions rather than preserving them, and a small enough patch has almost none left.
Every generator · The flat-folding field · The patterns a reader can fold