cp's OEIS Frontend

A127841 a(1)=1, a(2)=...=a(7)=0, a(n) = a(n-7)+a(n-6) for n>7.

%I A127841 #21 Oct 08 2018 11:00:35
%S A127841 1,0,0,0,0,0,0,1,0,0,0,0,0,1,1,0,0,0,0,1,2,1,0,0,0,1,3,3,1,0,0,1,4,6,
%T A127841 4,1,0,1,5,10,10,5,1,1,6,15,20,15,6,2,7,21,35,35,21,8,9,28,56,70,56,
%U A127841 29,17,37,84,126,126,85,46,54,121,210,252,211
%N A127841 a(1)=1, a(2)=...=a(7)=0, a(n) = a(n-7)+a(n-6) for n>7.
%C A127841 Part of the phi_k family of sequences defined by a(1)=1,a(2)=...=a(k)=0, a(n)=a(n-k)+a(n-k+1) for n>k. phi_2 is a shift of the Fibonacci sequence and phi_3 is a shift of the Padovan sequence.
%C A127841 Apart from offset same as A017847. - _Georg Fischer_, Oct 07 2018
%D A127841 S. Suter, Binet-like formulas for recurrent sequences with characteristic equation x^k=x+1, preprint, 2007. [Apparently unpublished as of May 2016]
%H A127841 Colin Barker, <a href="/A127841/b127841.txt">Table of n, a(n) for n = 1..1000</a>
%H A127841 <a href="/index/Rec#order_07">Index entries for linear recurrences with constant coefficients</a>, signature (0,0,0,0,0,1,1).
%F A127841 Binet-like formula: a(n) = Sum_{i=1..7} (r_i^n)/(6(r_i)^2+7(r_i)) where r_i is a root of x^7=x+1.
%F A127841 G.f.: x*(1-x)*(1+x)*(1-x+x^2)*(1+x+x^2) / (1-x^6-x^7). - _Colin Barker_, May 30 2016
%t A127841 CoefficientList[Series[(1-x)*(1+x)*(1-x+x^2)*(1+x+x^2) / (1-x^6-x^7), {x, 0, 50}], x] (* or *)
%t A127841 LinearRecurrence[{0, 0, 0, 0, 0, 1, 1}, {1, 0, 0, 0, 0, 0, 0}, 50] (* _Stefano Spezia_, Oct 08 2018 *)
%o A127841 (PARI) Vec(x*(1-x)*(1+x)*(1-x+x^2)*(1+x+x^2)/(1-x^6-x^7) + O(x^100)) \\ _Colin Barker_, May 30 2016
%o A127841 (GAP) a:=[1,0,0,0,0,0,0];;  for n in [8..80] do a[n]:=a[n-6]+a[n-7]; od; a; # _Muniru A Asiru_, Oct 07 2018
%K A127841 nonn,easy
%O A127841 1,21
%A A127841 Stephen Suter (sms5064(AT)psu.edu), Apr 02 2007