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.
%I A325488 #21 Jul 08 2023 16:02:15 %S A325488 1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,2,0,1,0, %T A325488 1,0,2,0,1,0,2,0,2,0,1,0,2,0,2,0,2,0,2,0,2,0,2,0,2,0,3,0,2,0,2,0,3,0, %U A325488 2,0,3,0,3,0,2,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,4,0,3,0,3,0,4,0,3,0,4 %N A325488 Dimensions of space of harmonic polynomials of each degree invariant under the full icosahedral group. %C A325488 Meyer's generating function h(t,G) generates the sequence of the dimensions of the spaces of G-invariant harmonic polynomials of each degree, where G is a point group on three-dimensional Euclidean space. For G=I_h, the full icosahedral group including inversions, the generating function is 1/((1 - t^10)*(1 - t^6)). %H A325488 Burnett Meyer, <a href="https://doi.org/10.4153/CJM-1954-016-2">On the symmetries of spherical harmonics</a>, Canadian Journal of Mathematics 6 (1954): 135-157. %H A325488 <a href="/index/Rec#order_16">Index entries for linear recurrences with constant coefficients</a>, signature (0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,-1). %F A325488 G.f.: 1/((1 - t^10)*(1 - t^6)). %F A325488 a(n) = a(n-6) + a(n-10) - a(n-16) for n>15. - _Colin Barker_, Jun 26 2019 %t A325488 CoefficientList[Series[(1 - t^10)^(-1) (1 - t^6)^(-1) , {t, 0, 100}], %t A325488 t] %o A325488 (PARI) Vec(1 / ((1 - x)^2*(1 + x)^2*(1 - x + x^2)*(1 + x + x^2)*(1 - x + x^2 - x^3 + x^4)*(1 + x + x^2 + x^3 + x^4)) + O(x^100)) \\ _Colin Barker_, Jun 26 2019 %Y A325488 Cf. A008651 for the icosahedral rotation group which is derived from this sequence using Theorem 8 of Meyer, h(t,I)=(1+t^15)*h(t,I_h) as I_h has 15 symmetry planes. %K A325488 nonn,easy %O A325488 0,31 %A A325488 _William Lionheart_, May 04 2019