６次元正軸体系切頂切稜多面体で，包除原理を適用するものについて調べてみたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】正軸体系（００１０１０）→ｆ＝（１９２０，９６００，１３７６０，８３２０，２５５６，３１６）

　頂点に（０１０１０）ができているが，辺と面は消失していて，（１０１０）柱を重複して数え上げていることになる．

（０１０１０）→ｆ＝（４８０，１９２０，２１６０，８４０，１２２）

（１０１０）→ｆ＝（９６，２８８，２４０，４８）

（０１０）→ｆ＝（１２，２４，１４）

（１０）→ｆ＝（４，４）

（１）

ｆ0＝１２・４８０−６０・９６＋１６０・１２＝１９２０　　（ＯＫ）

ｆ1＝１２・１９２０−６０・２８８＋１６０・２４＝９６００　　（ＯＫ）

ｆ2＝１２・２１６０−６０・２４０＋１６０・１４＝１３７６０　　（ＯＫ）

ｆ3＝１２・８４０−６０・４８＋１６０・１＋２４０・４＝８３２０　　（ＯＫ）

ｆ4＝１２・１２２−６０・１＋１６０・０＋２４０・４＋１９２・（１）＝２５５６　　（ＯＫ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】正軸体系（００１００１）→ｆ＝（１２８０，７６８０，１４４００，１１２００，３７０８，５０８）

　頂点に（０１００１）ができているが，辺と面は消失していて，（１００１）柱を重複して数え上げていることになる．

（０１００１）→ｆ＝（３２０，１４４０，２１６０，１２４０，２０２）

（１００１）→ｆ＝（６４，１９２，２０８，８０）

（００１）→ｆ＝（８，１２，６）

（０１）→ｆ＝（４，４）

（２）

ｆ0＝１２・３２０−６０・６４＋１６０・８＝１２８０　　（ＯＫ）

ｆ1＝１２・１４４０−６０・１９２＋１６０・１２＝７６８０　　（ＯＫ）

ｆ2＝１２・２１６０−６０・２０８＋１６０・６＝１４４６０　　（ＯＫ）

ｆ3＝１２・１２４０−６０・８０＋１６０・１＋２４０・４＝１１２００　　（ＯＫ）

ｆ4＝１２・２０２−６０・１＋１６０・０＋２４０・４＋１９２・（２）＝３７０８　　（ＯＫ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】正軸体系（０００１０１）→ｆ＝（９６０，４８００，７２８０，４９６０，１７８８，２６８）

　頂点に（００１０１）ができているが，辺と面と３次元面は消失していて，（０１０１）柱を重複して数え上げていることになる．

（００１０１）→ｆ＝（３２０，１２８０，１５２０，６８０，１２２）

（０１０１）→ｆ＝（９６，２８８，２４８，５６）

（１０１）→ｆ＝（２４，４８，２６）

（０１）→ｆ＝（４，４）

（２）

ｆ0＝１２・３２０−６０・９６＋１６０・２４−２４０・４＝８６０　　（ＯＫ）

ｆ1＝１２・１２８０−６０・２８８＋１６０・４８−２４０・４＝４８００　　（ＯＫ）

ｆ2＝１２・１５２０−６０・２４８＋１６０・２６−２４０・１＝７２８０　　（ＯＫ）

ｆ3＝１２・６８０−６０・５６＋１６０・１−２４０・０＝４９６０　　（ＯＫ）

ｆ4＝１２・１２２−６０・１＋１６０・０−２４０・０＋１９２・（２）＝１７８８　　（ＯＫ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【４】正軸体系（００１１１０）→ｆ＝（３８４０，１１５２０，１３７６０，８３２０，２５５６，３１６）

　頂点に（０１１１０）ができているが，辺と面は消失していて，（１１１０）柱を重複して数え上げていることになる．

（０１１１０）→ｆ＝（９６０，２４００，２１６０，８４０，１２２）

（１１１０）→ｆ＝（１９２，３８４，２４０，４８）

（１１０）→ｆ＝（２４，３６，１４）

（１０）→ｆ＝（４，４）

（１）

ｆ0＝１２・９６０−６０・１９２＋１６０・２４＝３８４０　　（ＯＫ）

ｆ1＝１２・２４００−６０・３８４＋１６０・３６＝１１５２０　　（ＯＫ）

ｆ2＝１２・２１６０−６０・２４０＋１６０・１４＝１３７６　　（ＯＫ）

ｆ3＝１２・８４０−６０・４８＋１６０・１＋２４０・４＝８３２０　　（ＯＫ）

ｆ4＝１２・１２２−６０・１＋１６０・０＋２４０・４＋１９２・（１）＝２５５６　　（ＯＫ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝