Generator

Growing the p4 orbit

Growing the p4 orbit

Growing the p4 orbit. One motif, then more of the group's operations applied to it, until applying another produces nothing new. The pattern is the orbit; the drawing is only its shadow.

One motif, then more of the group's operations applied to it, until applying another produces nothing new. The pattern is the orbit; the drawing is only its shadow.

5 essays call orbit-build. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about. Every one of this site's 393 essays names its parameters at the call site, which the standard pass of 2026-08-09 established and param-floor holds.

Where it is called

Changing this generator changes every one of these figures.

A rotation. The motif in the first colour, its images under a single rotation in the second, and the symmetry element marked where the operation itself says it lies.

What a symmetry actually is

Not a property of a shape but a motion that leaves it alone. Once symmetry is a verb rather than an adjective, everything else in the subject follows — including why there can only ever be seventeen wallpapers.

A glide. The motif in the first colour, its images under a single glide in the second, and the symmetry element marked where the operation itself says it lies.

The four motions of the plane

Slide, turn, flip, and the odd fourth thing that is a flip and a slide together but neither on its own. Every symmetry of every flat pattern that has ever been made is one of these.

Growing the p4 orbit. One motif, then more of the group's operations applied to it, until applying another produces nothing new. The pattern is the orbit; the drawing is only its shadow.

The orbit is the pattern

A wallpaper is not designed and then found to have symmetry. It is the set of places a group sends a single mark, and once that is taken literally the pattern can be grown, checked, and caught out.

A fundamental domain for p4m. One representative from every orbit of p4m, shaded, with the images that tile the rest of the cell. The domain was found by computing orbits rather than by drawing a region, and every sample's orbit was checked to meet it exactly once — so the region has neither a gap nor an overlap.

The fundamental domain

The smallest piece of a pattern from which the group rebuilds the rest. Drawing one is easy and drawing one correctly is not, because a region with a gap or an overlap looks exactly like a region without.

Two half-turns make a translation. The half-turn about (0.25, 0.25) followed by the half-turn about (0.75, 0.5) is the translation by (1, 0.5) — twice the vector between the two centres, and not the vector itself. The open lens is a third centre, and it is not the midpoint of the two drawn: it is where the half-turn about the first lands when it is composed with one repeat vector of the lattice, which is half a repeat along. That is the step that puts two-fold centres on the half lattice and gives a p2 cell four inequivalent ones. Both the translation and the forced centre are computed from the operations and compared with the construction in exact rational arithmetic.

Where the product is

Composing two symmetries lands on a third — and the third one is somewhere. Two half-turns make a translation by twice the distance between their centres, and that single fact puts the lattice into a pattern before anybody chooses one.

The whole library · All essays