結晶群．残っていた，正20面体群の決定まで終了． さて，この先どうするか，ということになったが，結晶群ではなく，高次元の正胞体を数える方向でやってみることになった． とりあえず， の有限部分群の決定方法を参考に， で同じことをやってみる． 答えは…