From Pentagons to Pentagrams

The Great Dodecahedron is my favorite polyhedron, and it's possible to build one out of paper. Give it a try when you get a chance !

https://www.polyhedra.net/en/model.php?name-en=great-dodecah...

Related work-in-progress if you like polyhedra and tiling transformations: https://ixxyxr.github.io/polyhydra-web/

It has the Kepler-Poinsot polyhedra and allows you to apply a superset of Conway Operators to them. No true stellation currently (stellation isn't an edge-replacement operator so can't be mimicked by Conway-esque operations)

Great article on stellated forms! I almost missed it due to the subtle unintuitive title!

The fact that f(L^2) is positive can be seen without inspecting coordinates: after all it is the length of e_i', hence positive.