正２４胞体系の切頂多面体に対してもアルゴリズムの正しさが確認された．次に，正２４胞体系の切頂切稜多面体で試してみたい．

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

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

　Ｐ0まで消失する．

頂点に｛４，３｝（０１０）→ｆ＝（１２，２４，１４）ができる．

ファセットに｛３，４｝（１０１）

｛４，３｝（０１０）→ｆ＝（１２，２４，１４），１

｛３｝（１０）→ｆ＝（３，３），１

｛｝（０）→ｆ＝（１），０

（）→ｆ＝（１），０

ｆ0＝２４・１２＝２８８　　（ＯＫ）

ｆ1＝２４・２４＋９６・３＝８６４　　（ＯＫ）

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

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

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

［７］（１００１）→ｆ＝（１４４，５７６，６７２，２４０）

　Ｐ0まで消失する．

頂点に｛４，３｝（００１）→ｆ＝（６，１２，８）ができる．

ファセットに｛３，４｝（１００）

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

｛３｝（０１）→ｆ＝（３，３），１

｛｝（１）→ｆ＝（２），１

ｆ0＝２４・６＝１４４　　（ＯＫ）

ｆ1＝２４・１２＋９６・３＝５７６　　（ＯＫ）

ｆ2＝２４・８＋９６・３＋９６・２＝６７２　　（ＯＫ）

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

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

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

　Ｐ1まで消失する．

頂点に｛４，３｝（１０１）→ｆ＝（２４，４８，２６）ができる．

ファセットに｛３，４｝（０１０）

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

｛３｝（０１）→ｆ＝（３，３），１

｛｝（１）→ｆ＝（２），１

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

ｆ1＝２４・４８−９６・３＝８６４　　（ＯＫ）

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

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

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

［１１］（１１１０）→ｆ＝（５７６，１１５２，７２０，１４４）

　Ｐ0まで消失する．

頂点に｛４，３｝（１１０）→ｆ＝（２４，３６，１４）ができる．

ファセットに｛３，４｝（１１１）

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

｛３｝（１０）→ｆ＝（３，３），１

｛｝（０）→ｆ＝（１），０

ｆ0＝２４・２４＝５７６　　（ＯＫ）

ｆ1＝２４・３６＋９６・３＝１１５２　　（ＯＫ）

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

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

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

［１２］（１１０１）→ｆ＝（５７６，１４４０，１１０４，２４０）

　Ｐ0まで消失する．

頂点に｛４，３｝（１０１）→ｆ＝（２４，４８，２６）ができる．

ファセットに｛３，４｝（１１０）

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

｛３｝（０１）→ｆ＝（３，３），１

｛｝（１）→ｆ＝（２），１

ｆ0＝２４・２４＝５７６　　（ＯＫ）

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

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

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

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

［１３］（１０１１）→ｆ＝（５７６，１４４０，１１０４，２４０）

　Ｐ0まで消失する．

頂点に｛４，３｝（０１１）→ｆ＝（２４，３６，１４）ができる．

ファセットに｛３，４｝（１０１）

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

｛３｝（１１）→ｆ＝（６，６），１

｛｝（１）→ｆ＝（２），１

ｆ0＝２４・２４＝５７６　　（ＯＫ）

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

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

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

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

［１４］（０１１１）→ｆ＝（５７６，１１５２，７２０，１４４）

　Ｐ1まで消失する．

頂点に｛４，３｝（１１１）→ｆ＝（４８，７２，２６）ができる．

ファセットに｛３，４｝（０１１）

｛４，３｝（１１１）→ｆ＝（４８，７２，２６），１

｛３｝（１１）→ｆ＝（６，６），１

｛｝（１）→ｆ＝（２），１

ｆ0＝２４・４８−９６・６＝５７６　　（ＯＫ）

ｆ1＝２４・７２−９６・６＝１１５２　　（ＯＫ）

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

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

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

［１５］（１１１１）→ｆ＝（１１５２，２３０４，１３９２，２４０）

　Ｐ0まで消失する．

頂点に｛４，３｝（１１１）→ｆ＝（４８，７２，２６）ができる．

ファセットに｛３，４｝（１１１）

｛４，３｝（１１１）→ｆ＝（４８，７２，２６），１

｛３｝（１１）→ｆ＝（６，６），１

｛｝（１）→ｆ＝（２），１

ｆ0＝２４・４８＝１１５２　　（ＯＫ）

ｆ1＝２４・７２＋９６・６＝２３０４　　（ＯＫ）

ｆ2＝２４・２６＋９６・６＋９６・２＝１３９２　　（ＯＫ）

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

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

【まとめ】

　正２４胞体系に対しても面数アルゴリズムの正しさが確認された．同時に体積公式のめども付いた．

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