■DE群多面体の面数公式(その380)

 両者に共通する面は

 (0,0,0,0)

 (1,1,0,0)

 (1,1,1,0)

 (3/2,1/2,1/2,1/2)

辺の長さは√2,√3,√3,1,1,1

共通しない部分を考えれば,β4の頂点は

 (2,0,0,0)と

 (0,0,0,0)

 (1,1,0,0)

 (1,1,1,0)

 (3/2,1/2,1/2,1/2)

辺の長さは2,√2,√3,1

ここにβ4の1/32分の基本単体12個分

hγ4の頂点は

 (1,1,1,1)と

 (0,0,0,0)

 (1,1,0,0)

 (1,1,1,0)

 (3/2,1/2,1/2,1/2)

辺の長さは2,√2,1,1

ここにβ4の1/16分の基本単体24個分

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

[雑感]おかしい.後者の方が小さくなってしまった.(その329)でもそうなっているので,要再考.

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