Generator

Cutting a Möbius band down the middle

A generator in the topology library, called 4 times across 3 essays. Below: what it draws with nothing chosen and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

mobius-cut is one function. Everything below came out of it during this build, at parameters 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 if the generator changes, this page changes with it.

With nothing chosen

Cutting a Möbius band down the middle. A dashed line runs the length of the band; cutting along it does not produce two bands but one longer, doubly twisted loop.

What it checks while it draws

Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.

Where it is called

Every figure on this list is drawn by the same rule, so a change to the rule changes all of them at once. That is why the list is published.

The whole library · What the figures prove