■DE群多面体の面数公式(その652)
Wythoff's constructon for uniform polytopes, p49
によりと
(nn-kpq)=tknpq
(np1q1)=tn+1npq
であるから,切頂切稜型の多面体を考えるのであれば,分岐部直後は同時に0か1でなければならないと思われる.
===================================