线性递归[{13, 2, -75, -17, 38, -8}, {0, 8, 160, 2009, 25872, 328208}, 25] (*保罗·沙萨2023年11月18日*)
系数列表[系列[-x(-8-56 x+87 x ^2-35 x ^3+10 x ^4)/((1+x)(1+2 x)(1-3 x+x ^2)(1-13 x+4 x ^2)),{x,0,20}],x](*埃里克·韦斯特因2024年5月25日*)
表[2(-1)^n(2^n-1)-LucasL[2n]+((13-3平方[17])^n+(13+3平方[17]^n)/2^n,{n,20}]//展开(*埃里克·韦斯特因2024年5月25日*)