■単純リー環を使った面数数え上げ（その７２）
【１】正軸体系（０１０１１）→ｆ＝（９６０，３３６０，３７６０，１５６０，２０２）
頂点に（１０１１）ができているが，辺は消失していて，（０１１）柱を重複して数え上げていることになる．
（１０１１）→ｆ＝（１９２，４８０，３６８，８０）
（０１１）→ｆ＝（２４，３６，１４）
（１１）→ｆ＝（８，８）
（２）
ｆ0＝１０・１９２−４０・２４＝９６０ （ＯＫ）
ｆ1＝１０・４８０−４０・３６＝３３６０ （ＯＫ）
ｆ2＝１０・３６８−４０・１４＋８０・８＝３７６０ （ＯＫ）
ｆ3＝１０・８０−４０・１＋８０・８＋８０・（２）＝１５６０ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【２】正軸体系（００１１１）→ｆ＝（６４０，１６００，１５２０，６８０，１２２）
頂点に（０１１１）ができているが，辺と面は消失していて，（１１１）柱を重複して数え上げていることになる．包除原理を適用する．
（０１１１）→ｆ＝（１９２，３８４，２４８，５６）
（１１１）→ｆ＝（４８，７２，２６）
（１１）→ｆ＝（８，８）
（２）
ｆ0＝１０・１９２−４０・４８＋８０・８＝６４０ （ＯＫ）
ｆ1＝１０・３８４−４０・７２＋８０・８＝１６００ （ＯＫ）
ｆ2＝１０・２４８−４０・２６＝１５２０ （ＯＫ）
ｆ3＝１０・５６−４０・１＋８０・（２）＝６８０ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【３】正軸体系（１１１１０）→ｆ＝（１９２０，４８００，４１６０，１４４０，１６２）
頂点に（１１１０），辺に（１１０）柱？
（１１１０）→ｆ＝（１９２，３８４，２４０，４８）
（１１０）→ｆ＝（２４，３６，１４）
（１０）→ｆ＝（４，４）
（１）
ｆ0＝１０・１９２＝１９２０ （ＯＫ）
ｆ1＝１０・３８４＋４０・２４＝４８００ （ＯＫ）
ｆ2＝１０・２４０＋４０・３６＋８０・４＝４１６０ （ＯＫ）
ｆ3＝１０・４８＋４０・１４＋８０・４＋８０・（１）＝１４４０ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【４】正軸体系（１１１０１）→ｆ＝（１９２０，５７６０，５９２０，２３２０，２４２）
頂点に（１１０１），辺に（１０１）柱？
（１１０１）→ｆ＝（１９２，４８０，３６８，８０）
（１０１）→ｆ＝（２４，４８，２６）
（０１）→ｆ＝（４，４）
（２）
ｆ0＝１０・１９２＝１９２０ （ＯＫ）
ｆ1＝１０・４８０＋４０・２４＝５７６０ （ＯＫ）
ｆ2＝１０・３６８＋４０・４８＋８０・４＝５９２０ （ＯＫ）
ｆ3＝１０・８０＋４０・２６＋８０・４＋８０・（２）＝２３２０ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【５】正軸体系（１１０１１）→ｆ＝（１９２０，５７６０，５７６０，２１６０，２４２）
頂点に（１０１１），辺に（０１１）柱？
（１０１１）→ｆ＝（１９２，４８０，３６８，８０）
（０１１）→ｆ＝（２４，３６，１４）
（１１）→ｆ＝（８，８）
（２）
ｆ0＝１０・１９２＝１９２０ （ＯＫ）
ｆ1＝１０・４８０＋４０・２４＝５７６０ （ＯＫ）
ｆ2＝１０・３６８＋４０・３６＋８０・８＝５７６０ （ＯＫ）
ｆ3＝１０・８０＋４０・１４＋８０・８＋８０・（２）＝２１６０ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【６】正軸体系（１０１１１）→ｆ＝（１９２０，５７６０，６０００，２４００，２４２）
頂点に（０１１１），辺に（０１１）柱？
（０１１１）→ｆ＝（１９２，３８４，２４８，５６）
（１１１）→ｆ＝（４８，７２，２６）
（１１）→ｆ＝（８，８）
（２）
ｆ0＝１０・１９２＝１９２０ （ＯＫ）
ｆ1＝１０・３８４＋４０・４８＝５７６０ （ＯＫ）
ｆ2＝１０・２４８＋４０・７２＋８０・８＝６０００ （ＯＫ）
ｆ3＝１０・５６＋４０・２６＋８０・８＋８０・（２）＝２４００ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【７】正軸体系（０１１１１）→ｆ＝（１９２０，４８００，４２４０，１５６０，２０２）
頂点に（１１１１）ができているが，辺は消失していて，（１１１）柱を重複して数え上げていることになる．
（１１１１）→ｆ＝（３８４，７６８，４６４，８０）
（１１１）→ｆ＝（４８，７２，２６）
（１１）→ｆ＝（８，８）
（２）
ｆ0＝１０・３８４−４０・４８＝１９２０ （ＯＫ）
ｆ1＝１０・７６８−４０・７２＝４８００ （ＯＫ）
ｆ2＝１０・４６４−４０・２６＋８０・８＝４２４０ （ＯＫ）
ｆ3＝１０・８０−４０・１＋８０・８＋８０・（２）＝１５６０ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
