The tile does not force aperiodicity — the decoration does
A rhomb with the acute angle of a Penrose tile, repeated by the lattice its own edges generate. The tiling is periodic, so the shape forbids nothing. Adding the edge decoration changes the answer: every interior edge of this tiling presents a double arrow against a single one, which the matching rule refuses.
2 essays call
matching-rules. 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.
Order without repetition
Matching rules, and what actually forces aperiodicity
The two Penrose rhombs are usually said to tile the plane only aperiodically. They tile it periodically without difficulty. What cannot be done periodically is tiling them according to the decoration, and the distinction is the whole result.
The classification
Nothing decides whether a set of tiles tiles the plane
This collection rests on decidability — generate a pattern, forget the group, rediscover it, compare. One question in the same subject has no procedure at all: given a finite set of tiles, whether they cover the plane cannot be decided by any algorithm whatever. What can be done is two half-searches, and measuring what they leave behind.