■DE群多面体の面数公式(その651)
t0,1,2,3β5の局所幾何を計算してみたい.
t0,1,2β4(1,4,6,4,1)
t0,1,2α3(1,3,3,1)
α1×α1(1,2,1)
1
4 1
6 3 1
4 3 2 1
1 1 1 0 1
0 0 0 0 0 1→1 1 1 1 2 1
===================================