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