Generator

Where the conditions stop being the answer

A generator in the flat-folding library, called 14 times across 3 essays. 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.

crimp-gap 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

Where the conditions stop being the answerFor each row, how many mountain-and-valley labellings satisfy all four local conditions, how many of those have a flat folded state, and the difference. At degree four the two columns are the same number; above it they are not.pass all fouractually foldthe gapdegree 4373 vertices14921492nonedegree 6329 vertices32082632576degree 858 vertices1440928512the gap is what a checker built from the four conditions would certify and a folder could not make

view: "vertex", slug: "rosette"

the preliminary base's centre: what passes, and what foldsEvery mountain-and-valley labelling of a vertex with sectors of 45°, 45°, 45°, 45°, 45°, 45°, 45°, 45°, sorted twice: by whether it satisfies developability, Kawasaki, Maekawa and the big-little-big lemma, and by whether a stacking of its sectors exists at all.the preliminary base's centredegree eight, and the vertex at the middle of the first base anybody foldsevery assignment256passes all four conditions112has a flat folded state112the conditions and the answer agree at every labelling

view: "vertex", slug: "waterbomb"

the waterbomb tessellation's odd vertex: what passes, and what foldsEvery mountain-and-valley labelling of a vertex with sectors of 90°, 45°, 45°, 90°, 45°, 45°, sorted twice: by whether it satisfies developability, Kawasaki, Maekawa and the big-little-big lemma, and by whether a stacking of its sectors exists at all.the waterbomb tessellation's odd vertexdegree six, and this site prints nine of them on one sheetevery assignment64passes all four conditions30has a flat folded state1812 labellings satisfy every condition the subject has and have no flat folded state

view: "degrees", degrees: [4, 6, 8]

Where the conditions stop being the answerFor each row, how many mountain-and-valley labellings satisfy all four local conditions, how many of those have a flat folded state, and the difference. At degree four the two columns are the same number; above it they are not.pass all fouractually foldthe gapdegree 4373 vertices14921492nonedegree 6329 vertices32082632576degree 858 vertices1440928512the gap is what a checker built from the four conditions would certify and a folder could not make

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.

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 flat-folding field · The patterns a reader can fold