Crystallography & Symmetry
patterns derived from their groups
Generator

anisohedral: 2 orbits of congruent tiles

anisohedral: 2 orbits of congruent tiles
anisohedral: 2 orbits of congruent tiles. A tiling of the plane by 8 copies of one shape per cell of a lattice of index 64, drawn 1 cell across and 8 up, and coloured by which orbit of the tiling's own symmetry group each tile belongs to. The group has 4 operations per cell and 2 orbits: every tile is congruent to every other, and no motion of the whole pattern carries a tile of one colour to a tile of another. Congruence is a fact about the shapes; an orbit is a fact about the pattern, and they are different facts.

A tiling of the plane by 8 copies of one shape per cell of a lattice of index 64, drawn 1 cell across and 8 up, and coloured by which orbit of the tiling's own symmetry group each tile belongs to. The group has 4 operations per cell and 2 orbits: every tile is congruent to every other, and no motion of the whole pattern carries a tile of one colour to a tile of another. Congruence is a fact about the shapes; an orbit is a fact about the pattern, and they are different facts.

3 essays call tile-orbits. 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.

Y-pentomino: A B C D E F, with 6 arcs. The boundary of the Y-pentomino cut into six arcs. A runs from one corner to another and D is the same arc traversed backwards, so D is a translate of A and the translation is (3, 1) cells. Each of B, C, E and F is carried onto itself by the half turn about its own midpoint, and those midpoints are the four marked dots — That is Conway's criterion, and a shape meeting it tiles the plane by translations and half turns. The classification

A tiling of the whole plane, decided on one tile's edge

Whether a shape tiles the plane is a question about an infinite object, and there is no procedure that answers it. There is a procedure that answers it *sometimes*, and it reads nothing but the shape's own boundary — a closed path of a few dozen steps, cut into six arcs. When the cut exists the tiling exists, and the cut names the group that makes it.

 anisohedral: 2 orbits of congruent tiles. A tiling of the plane by 8 copies of one shape per cell of a lattice of index 64, drawn 1 cell across and 8 up, and coloured by which orbit of the tiling's own symmetry group each tile belongs to. The group has 4 operations per cell and 2 orbits: every tile is congruent to every other, and no motion of the whole pattern carries a tile of one colour to a tile of another. Congruence is a fact about the shapes; an orbit is a fact about the pattern, and they are different facts. The classification

One shape, two kinds of tile

A tiling by copies of a single shape looks as though it must be homogeneous — every tile is congruent to every other, so what could distinguish them? The symmetry group can. There are shapes that tile the plane and admit no tiling whose group carries any tile to any other, and the smallest of them has eight cells.

 heesch-two: surrounded 2 times. A shape that tiles nothing, with the rings of copies it does accept: the seed in the first colour and 2 coronas of 7 and 16 copies round it. The search that built this finished, so the shape's Heesch number inside this box is exactly 2, and it cost 3,097 placements. Every cell touching a tile of one ring, corners included, is covered by the next. The classification

Surrounded twice over, and covering nothing

A shape that tiles the plane can be surrounded by copies of itself for ever. A shape that tiles nothing cannot be surrounded for ever — but it can be surrounded once, and sometimes twice, and the number of times is a measurement of how much local success a global impossibility permits.

The whole library · All essays