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