■DE群多面体の面数公式(その735)
切頂図形の場合,ファセットは3種類であったが,切頂切稜図形の場合は何種類になるのだろうか?
===================================
たとえば,Wythoff construction for uniform polytopesの場合,
[1]ファセットはα5,h4γ5,hγ5の3種類になるが
[2]α5からは
→α1×α2×α0(退化)
→α2×α1×α0(退化)・・・片方ずつ消すのではなく同時に消す,そうしないと他と重複
→hγ4×α0×α0(退化)
[3]h4γ5からは
→α0×t0,3α4(退化)
→α0×α1×α2(退化)
→α0×α1×α0(退化)
[4]hγ5からは
→α0×α4(退化)
→α2×α1×α0(退化)
→α3×α0(退化)
===================================