■単純リー環を使った面数数え上げ(その59)
【1】正単体系(1101)→f=(60,150,120,30)
5個の頂点に正単体系(101)ができる.それを切稜する.
(101)→f=(12,24,14)
(01)→f=(3,3)
f0=5・12=60 (OK)
f1=5・24+10・3=150 (OK)
f2=5・14+10・3+10・1=110 (NG)
f3=5+10+10+5=30はワイソフ算術で計算 (OK)
===================================
【2】正軸体系(1101)→f=(192,480,368,80)
8個の頂点に正軸体系(101)ができる.それを切稜する.
(101)→f=(24,48,26)
(10)→f=(4,4)
f0=8・24=192 (OK)
f1=8・48+24・4=480 (OK)
f2=8・26+24・4+32・1=338 (NG)
f3=8+24+32+16=80はワイソフ算術で計算 (OK)
===================================
【3】まとめ
原因はあとで追求するが,途中に0が入るときもうまくいかないようである.
===================================