有限表现群

2018-05-21 Todd-Coxeter 算法和 3D/4D 均匀多胞体