这个图画的是一个 4 维空间中的正多面体,叫做 120-cell, 它有 600 个顶点,1200 条边,720 个面,每个面都是一个正五边形 (注意是 4 维空间中的正五边形),所有这些正五边形在 4 维空间中都是一样大小的,只是把它们投影到 3 维空间中时发生了形变。(用的是球极投影)
用到的数学比较复杂,叫做 Todd-Coxeter 算法,来自群论,用来计算一个群的结构。sympy 包里面也有这个算法,但是那里的实现是错误的,所以我自己写了一个。(所以即便是著名开源库也不可以迷信)
这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。
V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.