%I#12 2022年9月8日08:46:20
%S 1,4,10,24,56128294676155235648186188004317699160227734,
%电话:5230201201184275867663356581455066433417496767632176260934,
%电话:40480619692969016021355564903660570112618952642586440948059400985544136422101046313311125788719559813184
%N表示<S,T:S^4=T^4=(S*T)^4=1>的组的增长级数。
%H Colin Barker,n的表格,n=0..1000的a(n)</a>
%H<a href=“/index/Rec#order_04”>带常系数的线性递归索引条目,签名(2,0,2,-1)。
%传真:(1+x)^2*(1+x^2)/(1-2*x-2*x^3+x^4)。
%当n>4时,F a(n)=2*a(n-1)+2*a(n-3)-a(n-4)_科林·巴克,2018年2月4日
%t线性递归[{2,0,2,-1},{1,4,10,24,56},40](*_Harvey P.Dale_,2020年1月2日*)
%o(岩浆)
%o R<x>:=RationalFunctionField(整数());
%o PSR25:=PowerSeriesRing(整数():精度:=25);
%o FG<S,T>:=自由组(2);
%o TG:=现状<FG|S^4,T^4,(S*T)^4>;
%o f,A:=IsAutomaticGroup(TG);
%o gf:=增长函数(A);
%o R!gf;
%o系数(PSR25!gf);
%o(PARI)Vec((1+x)^2*(1+x^2)/(1-2*x-2*x^3+x^4)+o(x^40))\\科林·巴克,2018年2月4日
%Y参考A008579。
%K nonn,简单
%0、2
%约翰·坎农和N.J.A.斯隆,2018年2月4日
|