cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A030114 Number of distributive lattices; also number of paths with n turns when light is reflected from 10 glass plates.

This page as a plain text file.
%I A030114 #25 Jul 11 2023 12:37:54
%S A030114 1,10,55,385,2530,17017,113641,760804,5089282,34053437,227837533,
%T A030114 1524414737,10199443436,68241935348,456589252304,3054922560820,
%U A030114 20439707165252,136756870048981,915005341022187,6122067418010887,40961191948244094,274060890253820561
%N A030114 Number of distributive lattices; also number of paths with n turns when light is reflected from 10 glass plates.
%C A030114 Let M(10) be the 10 X 10 matrix (0,0,0,1)/(0,0,1,1)/(0,1,1,1)/(1,1,1,1) and let v(10) be the vector (1,1,1,1,1,1,1,1,1); then v(10)*M(10)^n = (x,y,z,t,u,v, w,m,a(n)) - _Benoit Cloitre_, Sep 29 2002
%D A030114 J. Berman and P. Koehler, Cardinalities of finite distributive lattices, Mitteilungen aus dem Mathematischen Seminar Giessen, 121 (1976), 103-124.
%D A030114 J. Haubrich, Multinacci Rijen [Multinacci sequences], Euclides (Netherlands), Vol. 74, Issue 4, 1998, pp. 131-133.
%H A030114 Vincenzo Librandi, <a href="/A030114/b030114.txt">Table of n, a(n) for n = 0..1000</a>
%H A030114 J. Berman and P. Koehler, <a href="/A006356/a006356.pdf">Cardinalities of finite distributive lattices</a>, Mitteilungen aus dem Mathematischen Seminar Giessen, 121 (1976), 103-124. [Annotated scanned copy]
%H A030114 G. Kreweras, <a href="http://www.numdam.org/item?id=MSH_1976__53__5_0">Les préordres totaux compatibles avec un ordre partiel</a>, Math. Sci. Humaines No. 53 (1976), 5-30.
%H A030114 <a href="/index/Rec#order_10">Index entries for linear recurrences with constant coefficients</a>, signature (5,15,-20,-35,21,28,-8,-9,1,1).
%F A030114 G.f.: 1/(-x-1/(-x-1/(-x-1/(-x-1/(-x-1/(-x-1/(-x-1/(-x-1/(-x-1/(-x-1)))))))))) = -(x^9 +x^8 -8*x^7 -7*x^6 +21*x^5 +15*x^4 -20*x^3 -10*x^2 +5*x +1)/((x +1)*(x^3 +x^2 -2*x -1)*(x^6 -x^5 -6*x^4 +6*x^3 +8*x^2 -8*x +1)). [_Colin Barker_, Nov 09 2012]
%t A030114 CoefficientList[Series[-(x^9 + x^8 - 8 x^7 - 7 x^6 + 21 x^5 + 15 x^4 - 20 x^3 - 10 x^2 + 5 x + 1)/((x + 1) (x^3 + x^2 - 2 x - 1) (x^6 - x^5 - 6 x^4 + 6 x^3 8 x^2 - 8 x + 1)), {x, 0, 40}], x] (* _Vincenzo Librandi_, Oct 19 2013 *)
%o A030114 (PARI) k=10; M(k)=matrix(k,k,i,j,if(1-sign(i+j-k),0,1)); v(k)=vector(k,i,1); a(n)=vecmax(v(k)*M(k)^n)
%Y A030114 See also A006356-A006359, A025030, A030112-A030116.
%K A030114 nonn,easy
%O A030114 0,2
%A A030114 Jacques Haubrich (jhaubrich(AT)freeler.nl)
%E A030114 More terms from _Benoit Cloitre_, Sep 29 2002
%E A030114 a(20)-a(21) from _Vincenzo Librandi_, Oct 19 2013