stl of solid Smith hat monotile

smith_monotile.py

"""
Generates an stl of the Smith aperiodic monotile

https://cs.uwaterloo.ca/~csk/hat/
https://www.sciencenews.org/article/mathematicians-discovered-einstein-tile

"""

import cadquery as cq
from cadquery import exporters


vertices = [
    (0, 0),
    (-1, -1),
    (0, -2),
    (2, -2),
    (2, -1),
    (4, -2),
    (5, -1),
    (4, 0),
    (3, 0),
    (2, 2),
    (0, 3),
    (0, 2),
    (-1, 2),
]

monotile_solid = cq.Workplane("XY").polyline(vertices).close().extrude(1)

# Export the solid to an STL file
exporters.export(monotile_solid, "smith_monotile.stl")
exporters.export(monotile_solid, "smith_monotile.svg")