■DE群多面体の計量(その147)
[1]421
(240,6720,60480,241920,483840,483840,69120(α6)+138240(α6),17280(α7)+2160(β7))
[2]241
(2160,69120,483840,1209600,1209600α4,60480β5+483840α5,6720(221)+138240(α6),240(231)+17280(α7))
[3]142
(17280,483840,2419200,3628800,604800hγ4+1693440α4,241920hγ5+483840α5,6720(122)+30240hγ6+69120α6,240(132)+2160hγ7)
===================================
コクセターの論文で正しいことを確認した
===================================