■DE群多面体の計量(その72)
O111={343}
したがって、Onpqは交差点が二重接点になっているものと思われる。
===================================
O221を考えてみたい
E221=(27,216,720,1080,216α4+432α4,72(α5)+27(β5))
hγ5=(16,80,160,120,26)
t1α4=(10,30,30、10)
hγ5の交差点が二重接点になっているものは
10,1→80
30,0→480
30,0,1→640
10,0,0,1→280
1, 0,0,0,1→42
E211の交差点が二重接点になっているものは
80, 10,1→720
480,30,0→6480
640,30,0→10800
280,10,0,1→6480
42, 1,0,0,1→1566
1, 0,0,0,0,1→126
===================================
O321を考えてみたい
E321=(56,756,4032,10080,12096,2016α5+4032α5,576(α6)+126(β6))
E221=(27,216,720,1080,216α4+432α4,72(α5)+27(β5))
hγ5=(16,80,160,120,26)
t1α4=(10,30,30、10)
E321の交差点が二重接点になっているものは
720, 80, 10,1→720・56-80・756+10・4032-1・10080=10800
6480, 480,30, 0→6480・56-480・756+30・4032=120960
10800,640,30, 0→10800・56-640・756+30・4032=241920
6480, 280,10, 0,→6480・56-280・756+10・4032=191520
1566, 42, 1, 0,1→1566・56-42・756+1・4032+12096=72072
126, 1, 0, 0,0,1→126・56-1・756+1・4032+6048=12348
1, 0, 0, 0,0,0,1→1・56+702=758
===================================
O421を考えてみたい
E321= (240,6720,60480,241920,483840,483840,69120(α6)+138240(α6),17280(α7)+2160(β7))
E321=(56,756,4032,10080,12096,2016α5+4032α5,576(α6)+126(β6))
E221=(27,216,720,1080,216α4+432α4,72(α5)+27(β5))
hγ5=(16,80,160,120,26)
t1α4=(10,30,30、10)
E321の交差点が二重接点になっているものは
10800, 720 , 80,10, 1→10800・240-720・6720+80・60480-10・241920+1・483840=483840
120960,6480, 480,30, 0→120960・240-6480・6720+480・60480-30・241920=7257600
241920,10800,640,30, 0→241920・240-10800・6720+640・60480-30・241920=16934400
191520,6480 ,280,10, 0,→191520・240-6480・6720+280・60480-10・241920=16934400
72072 ,1566 , 42, 1, 0→72072・240-1566・6720+42・60480-1・241920=9072000
12348 ,126 , 1, 0, 0,1→12348・240-126・6720+1・60480+1・483840=2661120
758, 1, 0, 0, 0,0,1→758・240-1・6720+1・207360=382560
1, 0, 0, 0, 0,0,0,1→1・240+1・19440=19680
===================================
大域幾何に問題はないものと思われる
===================================