(All images and videos in this page are made with this program.)
This project is motivated by the excellent math movie dimensions, you can compare the result here with the movie to check if I managed to reproduce the effects there:
The approach of using Todd-Coxeter algorithm to compute the data of a polytope is motivated by Jenn3d.
numpy and the free raytracer
Platonic solids and Archimedean solids:
Here is a video shows the omnitruncated dodecahedron:
3D prims/antiprisms and 4d prisms/duoprisms:
4D (truncated) regular polytopes: