|
（*Cartan矩阵：*）
e[3]={{2}}；
e[4]={{2，-3}，{-1，2}}；
e[5]={{2，-1,0,0}，{-1，2，-2，0}；
e[6]={{2，0，-1，0，0，0}，{0，2，0；-1，0；0}；
e[7]={{2，0，-1，0，0，0,0，0}，{0，2，0；
e[8]=｛｛2，0，-1，0，0，0，0｝，｛0，2，0，-1，0，0，0｝，｛-1，0，2，-1，0，0，0，0｝，｛0，-1，-1，-1，2，-1，0，0｝，｛0，0，0，-1，2，-1，0，0｝，｛0，0，0，-1，2，-1，0｝，｛0，0，0，-1，2，-1｝，｛0，0，0，0，0，0，-1，2｝｝；
a0=表[长度[系数列表[特征多项式[e[n]，x]，x]]-1，{n，3，8}]；（*Poincaré多项式*）
a[0]={1}；
a[1]={1,5}；
a[2]={1,5,7,11}；
a[3]={1，4，5，7，8，11}；
a[4]={1，5，7，9，11，13，17}；
a[5]={1、7、11、13、17、19、23、29}；
b0=表[Length[CoefficientList[Expand[Product[（1+t^（2*a[i][[n]]+1）），｛n，1，Length[a[i]]｝]]，t]]-1，｛i，0，5｝]；
表[b0[[n]]/a0[[n]]，{n，1，长度[a0]}
| 