■DE群多面体の面数公式(その652)

 Wythoff's constructon for uniform polytopes, p49

によりと

  (nn-kpq)=tknpq

  (np1q1)=tn+1npq

であるから,切頂切稜型の多面体を考えるのであれば,分岐部直後は同時に0か1でなければならないと思われる.

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