■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にすれば一致する.

===================================