OFFSET
1,6
LINKS
Colin Barker, Table of n, a(n) for n = 1..1000
R. L. Graham and N. J. A. Sloane, Lower bounds for constant weight codes, IEEE Trans. Inform. Theory, 26 (1980), 37-43.
Index entries for linear recurrences with constant coefficients, signature (3,-3,1,0,0,0,0,1,-3,3,-1).
FORMULA
a(n) = ( 2*n^3 - 12*n^2 + 22*n - 3 + 9*(-1)^n + 3*(1+(-1)^n)*(-1)^(n*(n-1)/2) - 6*(1 + (-1)^n)*(-1)^floor(n/4) )/48. - Luce ETIENNE, Jan 20 2015
G.f.: x^4*(1 - x + x^2)*(1 - x + x^2 + x^4)/((1-x)^3*(1-x^8)). - Colin Barker, Jan 20 2015
MATHEMATICA
CoefficientList[Series[x^4*(1-x+x^2)*(1-x+x^2+x^4)/((1-x)^3*(1-x^8)), {x, 0, 60}], x] (* G. C. Greubel, May 16 2019 *)
PROG
(PARI) concat([0, 0, 0], Vec(x^4*(x^2-x+1)*(x^4+x^2-x+1) / ((x-1)^4*(x+1)*(x^2+1)*(x^4+1)) + O(x^60))) \\ Colin Barker, Jan 20 2015
(Magma) [Ceiling(Binomial(n, 4)/n): n in [1..60]]; // G. C. Greubel, May 16 2019
(Sage) [ceil(binomial(n, 4)/n) for n in (1..60)] # G. C. Greubel, May 16 2019
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
N. J. A. Sloane, Mar 25 2000
STATUS
approved