The excess fixes the family, not the member
wave-family 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: "confined", depths: [0.04, 0.02, 0.01]
excess: 0.06, waves: [2, 3, 5, 8, 12, 20]
view: "confined", depths: [0.03, 0.012, 0.005]
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.
- every member carries the same excess of length, solved to 4.8e-12 rather than assumed ×6
- all 4 profiles have identical arc length, so they are the same metric drawn differently ×4
- amplitude × waves = 0.0797 for every member, so a depth of 0.01 is a floor of 8.0 waves ×4
- the tightest container admits 3 of the 6 members and the loosest 6 — the container is doing the choosing ×4
- total squared curvature goes as the square of the wave count, to 0.00% ×2
- amplitude × wave count is constant to 0.00% — twice the waves is exactly half the height ×1
- bending rises at every step of the family, so a least-bending rule would always answer 2 waves and never more ×1
- the wave-count floor is exactly inversely proportional to the depth — halving the container doubles the number of waves ×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.
The container picks the member
Two large waves and eight small ones are the same metric, and geometry has nothing to say about which. Bending has nothing to say either — it rises at every step of the family, so a least-bending rule always answers the fewest waves and never anything else. What decides is the container: amplitude times wave count is constant across the family, so a ceiling on the height is a floor on the number, exactly inversely.
The excess does not choose its waves
A rim that has grown longer than its span has to put the extra length somewhere, and two large waves and eight small ones are the same metric — identical arc length, identical excess. Geometry fixes the family and is completely indifferent about the member.
Every generator · The folding nobody designed field · The patterns a reader can fold