Which of a pattern's symmetries its letterings keep
A generator in the designing a base library, called 6 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.
pattern-symmetry 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: "kept", pattern: "preliminary-base"
view: "kept", pattern: "square-twist"
view: "halves"
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.
2 of the 8 symmetries of the square twist are kept by none of its 256 letterings ×1
3 of the 8 symmetries of the preliminary base are kept by none of its 112 letterings ×1
both patterns are carried to themselves by all eight symmetries of the square, so the comparison holds the drawing's group fixed and varies only the letters ×1
every node of the straight skeleton is equidistant from each edge that defined it, so one fold serves them all — 1 checked ×1
patterns too large to enumerate are sampled and said to be, because a sample can show a symmetry is sometimes kept and can never show it never is ×1
the pattern's symmetries are found by carrying its vertex set and edge set onto themselves, and the letterings are enumerated separately, so the two columns are independent computations ×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.