Finite Rotations Polytopal Tiles Self Similar Substitution Rhomb Tiles Finite Local Complexity
A substitution for three triangular prototiles, based on 7-fold symmetry.
The lengths of the edges of the tiles are $\sin(\frac{\pi}{7})$, $\sin(\frac{2\pi}{7})$, $\sin(\frac{3\pi}{7})$.
These tilings are essentially different from Danzer’s 7-fold examples, see for instance Danzer’s 7-fold.
Finite Rotations Polytopal Tiles Self Similar Substitution Finite Local Complexity