■DE群多面体の面数公式(その131)
PqrのファセットはP(q-1)rとPq(r-1)の2種類
それらの中心はQrpの頂点とRpqの頂点
P(q-1)rの中心はQrpの頂点
Pq(r-1)の中心はRpqの頂点
Pqrの頂点は何の中心?
Qr(p-1)の中心はPqrの頂点,Qr(p-1)はQrpのファセットのひとつ
R(p-1)qの中心はPqrの頂点,R(p-1)qはRpqのファセットのひとつ
===================================
QrpのファセットがQ(r-1)pとQr(p-1)の2種類
それらの中心はRpqの頂点とPqrの頂点
Q(r-1)pの中心はRpqの頂点
Qr(p-1)の中心はPqrの頂点(*)
RpqのファセットがR(p-1)qとRp(q-1)の2種類
それらの中心はPqrの頂点とQrpの頂点
R(p-1)qの中心はPqrの頂点(*)
Rp(q-1)の中心はQrpの頂点
===================================
(その125)において,頂点図形は
α5(6,15,20,15,6)
としたが,
α5(0,0,1,0,0)→(20,90,120,60,12)
α5(1,0,1,0,0)→(60,240,290,135,27)
としてもNGである.
===================================