%I #38 May 30 2023 14:11:26
%S 1,126,2898,25886,133506,490014,1433810,3573054,7902594,15942206,
%T 29896146,52834014,88892930,143501022,223622226,338022398,497556738,
%U 715478526,1007769170,1393489566
%N Coordination sequence for E_7 lattice.
%H T. D. Noe, <a href="/A008397/b008397.txt">Table of n, a(n) for n = 0..1000</a>
%H M. Baake and U. Grimm, <a href="https://arxiv.org/abs/cond-mat/9706122">Coordination sequences for root lattices and related graphs</a>, arXiv:cond-mat/9706122, 1997; Zeit. f. Kristallographie, 212 (1997), 253-256.
%H R. Bacher, P. de la Harpe and B. Venkov, <a href="https://doi.org/10.1016/S0764-4442(97)83542-2">Séries de croissance et séries d'Ehrhart associées aux réseaux de racines</a>, C. R. Acad. Sci. Paris, 325 (Series 1) (1997), 1137-1142.
%H J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (<a href="http://neilsloane.com/doc/Me220.pdf">pdf</a>).
%H <a href="/index/Rec#order_07">Index entries for linear recurrences with constant coefficients</a>, signature (7,-21,35,-35,21,-7,1).
%F a(n) = (2/5)*(74*n^6 - 6*n^5 + 130*n^4 + 30*n^3 + 106*n^2 - 24*n + 5) for n >= 1.
%F Bacher et al. give a g.f.
%F G.f.: (1 + 119*x + 2037*x^2 + 8211*x^3 + 8787*x^4 + 2037*x^5 + 119*x^6 + x^7)/(1-x)^7. - _Colin Barker_, Sep 26 2012
%p a:= n-> `if`(n=0, 1, 148/5*n^6-12/5*n^5+52*n^4+12*n^3+212/5*n^2-48/5*n+2):
%p seq(a(n), n=0..25);
%t LinearRecurrence[{7,-21,35,-35,21,-7,1},{1,126,2898,25886,133506, 490014,1433810,3573054},20] (* _Harvey P. Dale_, Nov 12 2014 *)
%o (Magma) [1] cat [(2/5)*(74*n^6 -6*n^5 +130*n^4 +30*n^3 +106*n^2 -24*n + 5): n in [1..30]]; // _G. C. Greubel_, May 29 2023
%o (SageMath) [2*(74*n^6 -6*n^5 +130*n^4 +30*n^3 +106*n^2 -24*n +5)//5 - int(n==0) for n in range(31)] # _G. C. Greubel_, May 29 2023
%K nonn,easy
%O 0,2
%A _N. J. A. Sloane_ and _J. H. Conway_
|