■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(退化)

===================================