(Sage)#Fripertinger求k列的g.f>=2(对于小k)的方法:
定义A034253col(k,长度):
G1=PSL(k,GF(2))
G2=PSL(k-1,GF(2))
D1=G1.cycle_index()
D2=G2.cycle_index()
f1=总和(i[1]*prod(1/(1-x^j)对于i[0]中的j)对于D1中的i)
f2=总和(i[1]*prod(1/(1-x^j)对于i[0]中的j)对于D2中的i)
f=f1-f2
return f.tayler(x,0,length).list()
#例如,列k=5的泰勒展开式给出了a(n):
|