５次元の切頂切稜型について修正したい．縮退情報を加味して計算するのである．

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

【１】５次元正単体系（ｇ0，ｇ1）＝（６，１５）

［１］切頂切稜型

　［１，０，１，０，０］（６０，２４０）では，頂点の位置に正単体系［０，１，０，０］（１０，３０）が入り，辺の位置に正単体系［１，０，０］（４，６）柱が入ると考える．

　　３０×６＋４×１５＝２４０

　［１，０，０，１，０］（６０，２７０）では，頂点の位置に正単体系［０，０，１，０］（１０，３０）が入り，辺の位置に正単体系［０，１，０］（６，１２）柱が入ると考える．

　　３０×６＋６×１５＝２７０

　［１，０，０，０，１］（３０，１２０）では，頂点の位置に正単体系［０，０，０，１］（５，１０）が入り，辺の位置に正単体系［１，０，０，０］（４，６）柱が入ると考える．

　　１０×６＋４×１５＝１２０

　［１，１，１，０，０］（１２０，３００）では，頂点の位置に正単体系［１，１，０，０］（２０，４０）が入り，辺の位置に正単体系［１，０，０］（４，６）柱が入ると考える．

　　４０×６＋４×１５＝３００

　［１，１，０，１，０］（１８０，６３０）では，頂点の位置に正単体系［１，０，１，０］（３０，９０）が入り，辺の位置に正単体系［０，１，０］（６，１２）柱が入ると考える．

　　９０×６＋６×１５＝６３０

　［１，１，０，０，１］（１２０，４２０）では，頂点の位置に正単体系［１，０，０，１］（２４，６０）が入り，辺の位置に正単体系［０，０，１］（４，６）柱が入ると考える．

　　６０×６＋４×１５＝４２０

　［１，０，１，１，０］（１８０，５４０）では，頂点の位置に正単体系［０，１，１，０］（３０，６０）が入り，辺の位置に正単体系［１，１，０］（１２，１８）柱が入ると考える．

　　６０×６＋１２×１５＝５４０

　［１，０，１，０，１］（１８０，７２０）では，頂点の位置に正単体系［０，１，０，１］（３０，９０）が入り，辺の位置に正単体系［１，０，１］（１２，２４）柱が入ると考える．

　　９０×６＋１２×１５＝７２０

　［１，１，１，１，０］（３６０，９００）では，頂点の位置に正単体系［１，１，１，０］（６０，１２０）が入り，辺の位置に正単体系［１，１，０］（１２，１８）柱が入ると考える．

　　１２０×６＋１２×１５＝９００

　［１，１，１，０，１］（３６０，１０８０）では，頂点の位置に正単体系［１，１，０，１］（６０，１５０）が入り，辺の位置に正単体系［１，０，１］（１２，２４）柱が入ると考える．

　　１５０×６＋１２×１５＝１０８０

　［１，１，０，１，１］（３６０，１０８０）では，頂点の位置に正単体系［１，０，１，１］（６０，１５０）が入り，辺の位置に正単体系［０，１，１］（１２，１８）柱が入ると考える．

　　１５０×６＋１２×１５＝１０８０

　［１，１，１，１，１］（７２０，１８００）では，頂点の位置に正単体系［１，１，１，１］（１２０，２４０）が入り，辺の位置に正単体系［１，１，１］（２４，３６）柱が入ると考える．

　　２４０×６＋２４×１５＝１８００

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

　［０，＊，＊，＊，０］型の切頂切稜型はうまく計算できなかった．

　［０，１，０，１，０］（９０，３６０）では，頂点の位置に正単体系［１，０，１，０］（３０，９０）が入り，辺の位置に正単体系［０，１，０］（６，１２）柱が入ると考える．

　　９０×６＋６×１５＝６３０　　（ＮＧ）

→辺の位置に正単体系［０，１，０］（６，１２）柱は入らない．

→ファセットの位置に正単体系［０，１，０，１］（３０，９０）が入るとしても同様，面の位置に正単体系［１，０，１］は入らない．

　［０，１，１，１，０］（１８０，４５０）では，頂点の位置に正単体系［１，１，１，０］（６０，１２０）が入り，辺の位置に正単体系［１，１，０］（１２，１８）柱が入ると考える．

　　１２０×６＋１２×１５＝９００　　（ＮＧ）

→辺の位置に正単体系［１，１，０］（１２，１８）柱は入らない．

→ファセットの位置に正単体系［０，１，１，１］（３０，９０）が入るとしても同様，面の位置に正単体系［０，１，１］は入らない．

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

【２】５次元正軸体系（ｇ0，ｇ1）＝（１０，４０）

［１］切頂切稜型

　［１，０，１，０，０］（２４０，１２００）では，頂点の位置に正軸体系［０，１，０，０］（２４，９６）が入り，辺の位置に正軸体系［１，０，０］（６，１２）柱が入ると考える．

　　９６×１０＋６×４０＝１２００

　［１，０，０，１，０］（３２０，１４４０）では，頂点の位置に正軸体系［０，０，１，０］（２４，９６）が入り，辺の位置に正軸体系［０，１，０］（１２，２４）柱が入ると考える．

　　９６×１０＋１２×４０＝１４４０

　［１，０，０，０，１］（１６０，６４０）では，頂点の位置に正軸体系［０，０，０，１］（１６，３２）が入り，辺の位置に正軸体系［０，０，１］（８，１２）柱が入ると考える．

　　３２×１０＋８×４０＝６４０

　［０，１，０，０，１］（３２０，１４４０）では，頂点の位置に正軸体系［１，０，０，１］（６４，１９２）が入り，辺の位置に正軸体系［０，０，１］（８，１２）柱が入ると考える．

　　１９２×１０＋８×４０＝２２４０　　（ＮＧ）

→ファセットの位置に正単体系［０，１，０，０］（１０，３０）が入り，面の位置に正単体系［０，１，０］（６，１２）柱が入ると考える．

　　３０×３２＋６×８０＝１４４０

　［１，１，１，０，０］（４８０，１４４０）では，頂点の位置に正軸体系［１，１，０，０］（４８，１２０）が入り，辺の位置に正軸体系［１，０，０］（６，１２）柱が入ると考える．

　　１２０×１０＋６×４０＝１４４０

　［１，１，０，１，０］（９６０，３３６０）では，頂点の位置に正軸体系［１，０，１，０］（９６，２８８）が入り，辺の位置に正軸体系［０，１，０］（１２，２４）柱が入ると考える．

　　２８８×１０＋１２×４０＝３３６０

　［１，１，０，０，１］（６４０，２２４０）では，頂点の位置に正軸体系［１，０，０，１］（９６，１９２）が入り，辺の位置に正軸体系［０，０，１］（８，１２）柱が入ると考える．

　　１９２×１０＋８×４０＝２２４０

　［１，０，１，１，０］（９６０，２８８０）では，頂点の位置に正軸体系［０，１，１，０］（９６，１９２）が入り，辺の位置に正軸体系［１，１，０］（２４，３６）柱が入ると考える．

　　１９２×１０＋２４×４０＝２８８０

　［１，０，１，０，１］（９６０，３８４０）では，頂点の位置に正軸体系［０，１，０，１］（９６，２８８）が入り，辺の位置に正軸体系［１，０，１］（２４，４８）柱が入ると考える．

　　２８８×１０＋２４×４０＝３８４０

　［１，０，０，１，１］（６４０，２２４０）では，頂点の位置に正軸体系［０，０，１，１］（６４，１２８）が入り，辺の位置に正軸体系［０，１，１］（２４，３６）柱が入ると考える．

　　１２８×１０＋２４×４０＝２２４０

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［０，１，１，０，１］（９６０，２８８０）では，頂点の位置に正軸体系［１，１，０，１］（１９２，４８０）が入り，辺の位置に正軸体系［１，０，１］（２４，４８）柱が入ると考える．

　　４８０×１０＋２４×４０＝５７６０　　（ＮＧ）

→ファセットの位置に正単体系［０，１，１，０］（３０，６０）が入り，面の位置に正単体系［０，１，１］（１２，１８）柱が入ると考える．

　　６０×３２＋１２×８０＝２８８０

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［０，１，０，１，１］（９６０，３３６０）では，頂点の位置に正軸体系［１，０，１，１］（１９２，４８０）が入り，辺の位置に正軸体系［０，１，１］（２４，３６）柱が入ると考える．

　　４８０×１０＋２４×４０＝５７６０　　（ＮＧ）

→ファセットの位置に正単体系［０，１，０，１］（３０，９０）が入り，面の位置に正単体系［０，１，０］（６，１２）柱が入ると考える．

　　９０×３２＋６×８０＝３３６０

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［０，０，１，１，１］（６４０，１６００）では，頂点の位置に正軸体系［０，１，１，１］（１９２，３８４）が入り，辺の位置に正軸体系［１，１，１］（４８，７２）柱が入ると考える．

　　３８４×１０＋４８×４０＝５７６０　　（ＮＧ）

→ファセットの位置に正単体系［０，０，１，１］（２０，４０）が入り，面の位置に正単体系［０，０，１］（４，６）柱が入ると考える．

　　４０×３２＋４×８０＝１６００

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［１，１，１，１，０］（１９２０，４８００）では，頂点の位置に正軸体系［１，１，１，０］（１９２，３８４）が入り，辺の位置に正軸体系［１，１，０］（２４，３６）柱が入ると考える．

　　３８４×１０＋２４×４０＝４８００

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［１，１，１，０，１］（１９２０，５７６０）では，頂点の位置に正軸体系［１，１，０，１］（１９２，４８０）が入り，辺の位置に正軸体系［１，０，１］（２４，４８）柱が入ると考える．

　　４８０×１０＋４８×４０＝６７２０　　（ＮＧ）

→ファセットの位置に正単体系［１，１，１，０］（６０，１２０）が入り，面の位置に正単体系［１，１，１］（２４，３６）柱が入ると考える．

　　１２０×３２＋２４×８０＝５７６０

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［１，１，０，１，１］（１９２０，５７６０）では，頂点の位置に正軸体系［１，０，１，１］（１９２，４８０）が入り，辺の位置に正軸体系［０，１，１］（２４，３６）柱が入ると考える．

　　４８０×１０＋３６×４０＝６２４０　　（ＮＧ）

→ファセットの位置に正単体系［１，１，０，１］（６０，１５０）が入り，面の位置に正単体系［１，１，０］（１２，１８）柱が入ると考える．

　　１５０×３２＋１２×８０＝５７６０

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［１，０，１，１，１］（１９２０，５７６０）では，頂点の位置に正軸体系［０，１，１，１］（１９２，３８４）が入り，辺の位置に正軸体系［１，１，１］（４８，７２）柱が入ると考える．

　　３８４×１０＋４８×４０＝５７６０

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［０，１，１，１，１］（１９２０，４８００）では，頂点の位置に正軸体系［１，１，１，１］（３８４，７６８）が入り，辺の位置に正軸体系［１，１，１］（４８，７２）柱が入ると考える．

　　７６８×１０＋４８×４０＝９６００　　（ＮＧ）

→ファセットの位置に正単体系［０，１，１，１］（６０，１２０）が入り，面の位置に正単体系［０，１，１］（１２，１８）柱が入ると考える．

　　１２０×３２＋１２×８０＝４８００

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　［１，１，１，１，１］（３８４，９６００）では，頂点の位置に正軸体系［１，１，１，１］（３８４，７６８）が入り，辺の位置に正軸体系［１，１，１］（４８，７２）柱が入ると考える．

　　７６８×１０＋４８×４０＝９６００

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

　［０，１，０，１，０］（４８０，１９２０）では，頂点の位置に正軸体系［１，０，１，０］（９６，２８８）が入り，辺の位置に正軸体系［０，１，０］（１２，２４）柱が入ると考える．

　　２８８×１０＋１２×４０＝３３６０　　（ＮＧ）

→辺の位置に正軸体系［０，１，０］（１２，２４）柱は入らない．

→ファセットの位置に正単体系［０，１，０，１］（３０，９０）が入るとしても同様，面の位置に正単体系［１，０，１］は入らない．

　［０，１，１，１，０］（９６０，２４００）では，頂点の位置に正軸体系［１，１，１，０］（１９２，３８４）が入り，辺の位置に正軸体系［１，１，０］（２４，３６）柱が入ると考える．

　　３８４×１０＋２４×４０＝４８００　　（ＮＧ）

→辺の位置に正軸体系［１，１，０］（２４，３６）柱は入らない．

→ファセットの位置に正単体系［０，１，１，１］（３０，９０）が入るとしても同様，面の位置に正単体系［０，１，１］は入らない．

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