■単純リー環を使った面数数え上げ（その６１）
【１】正単体系（０１１１）→ｆ＝（６０，１２０，８０，２０）
５個の頂点に正単体系（１１１）ができる．それを切稜する．
（１１１）→ｆ＝（２４，３６，１４）
（１１）→ｆ＝（６，６）
ｆ0＝５・２４＝１２０ （ＮＧ）
ｆ1＝５・３６＋１０・６＝２４０ （ＮＧ）
ｆ2＝５・１４＋１０・６＋１０・１＝１４０ （ＮＧ）
ｆ3＝５＋１０＋５＝２０はワイソフ算術で計算 （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【２】正軸体系（０１１１）→ｆ＝（１９２，３８４，２４８，５６）
８個の頂点に正軸体系（１１１）ができる．それを切稜する．
（１１１）→ｆ＝（４８，７２，２６）
（１１）→ｆ＝（８，８）
ｆ0＝８・４８＝３８４ （ＮＧ）
ｆ1＝８・７２＋２４・８＝７６８ （ＮＧ）
ｆ2＝８・２６＋２４・８＋３２・１＝４３２ （ＮＧ）
ｆ3＝８＋３２＋１６＝５６はワイソフ算術で計算 （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【３】まとめ
ＯＫ：（１０１０），（１１１０）
ＮＧ：（０１０１），（０１１１）
ＮＧ：（１１０１），（１０１１） ｆ2だけＮＧ
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
