2025-12-28 Polytopes, or: How convert a convex shape/body defined by planes into vertices without dying in the process