Generator
Take a square out and the count goes up
A generator in the what it costs to know library, called 7 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.
polyomino-foldings 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
which: [2x2, 1x5, plus, tee, 2x3, 3x3], view: "shapes"
which: [3x3, 3x3-corner, 3x3-edge, 3x3-centre], view: "shapes"
which: [L4, 1x4, 2x2], view: "shapes"
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.
- the generalised count reproduces every published rectangular map-folding number drawn here — 1x4 at 16, 2x2 at 8 — so removing a cell is the only thing that has changed ×2
- the generalised count reproduces every published rectangular map-folding number drawn here — 1x5 at 50, 2x3 at 60, 3x3 at 1368 — so removing a cell is the only thing that has changed ×2
- the generalised count reproduces every published rectangular map-folding number drawn here — 3x3 at 1368 — so removing a cell is the only thing that has changed ×2
- a plus and a tee fold in every one of the 120 ways their squares could be stacked — no two of their creases can interfere ×1
- a plus fold in every one of the 120 ways their squares could be stacked — no two of their creases can interfere ×1
- every shape drawn here is a rectangle with cells taken out of it, which is what the generalisation is for and what no published table covers ×1
- the generalised count reproduces every published rectangular map-folding number drawn here — 2x2 at 8, 1x5 at 50, 2x3 at 60, 3x3 at 1368 — so removing a cell is the only thing that has changed ×1
- three in an L fold in every one of the 6 ways their squares could be stacked — no two of their creases can interfere ×1
- two maps of eight squares inside the same three-by-three box fold 8016 and 848 ways — a factor of 9.5 between shapes a bounding box cannot tell apart ×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 what it costs to know field · The patterns a reader can fold