正軸体切頂型空間充填多面体では，

ｎ−１次元面：（ｔｐ＋１，１）個（頂点数ａ）

ｎ−２次元面：（ｔｐ＋１，２）個（頂点数ａ）

ｎ−３次元面：（ｔｐ＋１，３）個（頂点数ａ）

ｎ−４次元面：（ｔｐ＋１，４）個（頂点数ａ）

ｎ−１次元面：（３／２）^0（ｔｐ＋１，０）２^tp+1（頂点数ｂ）

ｎ−２次元面：（３／２）（ｔｐ＋１，１）２^tp+1（頂点数ｂ）

ｎ−３次元面：（３／２）^2（ｔｐ＋１，２）２^tp+1（頂点数ｂ）

ｎ−４次元面：（３／２）^3（ｔｐ＋１，３）２^tp+1（頂点数ｂ）

となることは分割行列でクロス集計してみると確かめられるが，それよりも正軸体系と正単体系を比較する方が先決であろう．

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

［１］（１００）

　　｛４｝（００）×（）０個→局所は（１，０，０），１個と数えることにする

　　｛｝（０）×｛｝（１）０個→局所は（１，０，０），４個と数えることにする

　　（）×｛３｝（１０）４個→局所は（１，０，０）

１

０，４

０，０，４→｛４，４｝　　（ＯＫ）

正単体系では

　　｛３｝（００）×（）０個→局所は（１，０，０），１個と数えることにする

　　｛｝（０）×｛｝（１）０個→局所は（１，０，０），３個と数えることにする

　　（）×｛３｝（１０）３個→局所は（１，０，０）

１

０，４

０，０，４→｛３，３｝　　（ＯＫ）

［２］（１１０）

　　｛４｝（１０）×（）１個→局所は（１，２，１）

　　｛｝（０）×｛｝（１）０個→局所は（１，０，０），１個と数えることにする

　　（）×｛３｝（１１）２個→局所は（１，０，０）

１

２，１

１，０，２→｛３，３｝　　（ＯＫ）

正単体系では

　　｛３｝（１０）×（）１個→局所は（１，２，１）

　　｛｝（０）×｛｝（１）０個→局所は（１，０，０），１個と数えることにする

　　（）×｛３｝（１１）２個→局所は（１，０，０）

１

２，１

１，０，２→｛３，３｝　　（ＯＫ）

［３］（０１０）

　　｛４｝（１０）×（）２個→局所は（１，２，１）

　　｛｝（０）×｛｝（１）０個→局所は（１，０，０），１個と数えることにする

　　（）×｛３｝（１１）２個→局所は（１，０，０）

２，−１，

４，０

２，０，２→｛４，４｝　　（ＯＫ）

正単体系では

　　｛３｝（１０）×（）２個→局所は（１，２，１）

　　｛｝（０）×｛｝（１）０個→局所は（１，０，０），１個と数えることにする

　　（）×｛３｝（１１）２個→局所は（１，０，０）

２，−１，

４，０

２，０，２→｛４，４｝　　（ＯＫ）

［６］（１０１）

　　｛４｝（０１）×（）１個→局所は（１，２，１）

　　｛｝（１）×｛｝（１）２個→局所は（１，１，０）

　　（）×｛３｝（１０）１個→局所は（１，０，０）

１

２，２

１，２，１→｛４，４｝　　（ＯＫ）

正単体系では

　　｛３｝（０１）×（）１個→局所は（１，２，１）

　　｛｝（１）×｛｝（１）２個→局所は（１，１，０）

　　（）×｛３｝（１０）１個→局所は（１，０，０）

１

２，２

１，２，１→｛４，４｝　　（ＯＫ）

［７］（１１１）

　　｛４｝（１１）×（）１個→局所は（１，２，１）

　　｛｝（１）×｛｝（１）１個→局所は（１，１，０）

　　（）×｛３｝（１１）１個→局所は（１，０，０）

１

２，１

１，１，１→｛３，３｝　　（ＯＫ）

正単体系では

　　｛３｝（１１）×（）１個→局所は（１，２，１）

　　｛｝（１）×｛｝（１）１個→局所は（１，１，０）

　　（）×｛３｝（１１）１個→局所は（１，０，０）

１

２，１

１，１，１→｛３，３｝　　（ＯＫ）

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

［まとめ］（１００）の場合だけ，乖離が見られる．

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