■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)でもそうなっているので,要再考.
===================================