Origami & Folding
what one sheet can do
Generator

What the four tests see

A generator in the what it costs to know library, called 8 times across 4 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.

checker-blindspot 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

What the four tests seeEach of the four conditions this site's checker applies at every interior vertex, run against four patterns. The first three are each caught by exactly one test, which is what makes the tests worth having. The last passes all four at every vertex and is not thereby known to fold.developableKawasakiMaekawabig-little-bigsectors that do not alternatefour creases turning the same waya small sector flanked by one lettera 4×3 Miura, every vertexthe last row passes all four tests at all 6 of its vertices, and passing is not a proofthe tests are conditions at a single vertex; whether the layers can be stacked is a condition on the whole sheetno arrangement of vertex tests decides that, which is what NP-hardness means when it is spelled out

angle: 0.35, cols: 4, rows: 3

What the four tests seeEach of the four conditions this site's checker applies at every interior vertex, run against four patterns. The first three are each caught by exactly one test, which is what makes the tests worth having. The last passes all four at every vertex and is not thereby known to fold.developableKawasakiMaekawabig-little-bigsectors that do not alternatefour creases turning the same waya small sector flanked by one lettera 4×3 Miura, every vertexthe last row passes all four tests at all 6 of its vertices, and passing is not a proofthe tests are conditions at a single vertex; whether the layers can be stacked is a condition on the whole sheetno arrangement of vertex tests decides that, which is what NP-hardness means when it is spelled out

cols: 4, rows: 3

What the four tests seeEach of the four conditions this site's checker applies at every interior vertex, run against four patterns. The first three are each caught by exactly one test, which is what makes the tests worth having. The last passes all four at every vertex and is not thereby known to fold.developableKawasakiMaekawabig-little-bigsectors that do not alternatefour creases turning the same waya small sector flanked by one lettera 4×3 Miura, every vertexthe last row passes all four tests at all 6 of its vertices, and passing is not a proofthe tests are conditions at a single vertex; whether the layers can be stacked is a condition on the whole sheetno arrangement of vertex tests decides that, which is what NP-hardness means when it is spelled out

angle: 0.35

What the four tests seeEach of the four conditions this site's checker applies at every interior vertex, run against four patterns. The first three are each caught by exactly one test, which is what makes the tests worth having. The last passes all four at every vertex and is not thereby known to fold.developableKawasakiMaekawabig-little-bigsectors that do not alternatefour creases turning the same waya small sector flanked by one lettera 4×3 Miura, every vertexthe last row passes all four tests at all 6 of its vertices, and passing is not a proofthe tests are conditions at a single vertex; whether the layers can be stacked is a condition on the whole sheetno arrangement of vertex tests decides that, which is what NP-hardness means when it is spelled out

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.

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.

Drawn by the same hand

Two straight segments dropped on a square cross about 23% of the time; four of them cross 74% of the time; twelve cross with certainty, about fifteen times over. Every crease pattern in this collection's four test populations has none — not because the checkers were catching them, but because the same rules that drew the patterns were incapable of producing one, and nothing looked until a construction finally did.

Publishing the pattern instead of the sequence

A diagram sequence is one picture per step and a crease pattern is one picture. When designers began releasing patterns rather than diagrams, the cost of publishing a model fell by two orders of magnitude and the difficulty moved onto the reader — which is what made the complex era possible and what made most of it unfoldable.

Taught with a wrong reason

Four mountains and four valleys is what the preliminary base's symmetry suggests and Maekawa forbids it; a twist looks like a twist when its central ring reads as one letter, and no such lettering folds; a tessellation is verified because its unit is, and a forty-nine-panel patch of one had no folded state at all. In each case the conclusion taught is right and the reason offered for it is not, and the site that repeats them is this one.

What a checker cannot check

Every crease pattern on this site is run past four theorems before it is allowed onto a page, and passing all four proves nothing. The gap is not a bug to be closed: it is the NP-hardness result, arriving as a property of a hundred lines of code.

All the figures · The what it costs to know field · The patterns a reader can fold