Carve a jack-o'-lantern in Python with signed distance functions (manifold3d)

A jack-o'-lantern is a good first exercise for signed distance functions (SDFs): one formula gives...