■DE群多面体の面数公式(その641)
[1]β4
1=1
6=0 1
12=0 0 1
8=0 0 0 1
1=0 0 0 0 1→1,6,12,8,1 (1の続きはβ4の局所ベクトル)
[4]t0,2β4
1=1
6=4 1
9=4 2 1
5=1 1 0 1
1=0 0 0 0 1→1,2,1,2,1 (最後の1の続きは正方形の局所ベクトル)
===================================
[1]β4に二重節点を1個付けてみたい.
1=1
6=3 1
9=3 1 1
5=1 0 0 1
1=0 0 0 0 1→1,2,1,2,1
↑
1,3,3,4,1にすれば一致する.
===================================