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.

A378476 The number of n-colorings of the vertices of the truncated dodecahedron up to rotation and reflection.

This page as a plain text file.
%I A378476 #16 Apr 16 2025 12:44:29
%S A378476 0,1,9607679885269312,353259652293727442874919719,
%T A378476 11076899964874301400431118585745408,
%U A378476 7228014483236696229750911410649667971875,407280649839077145745380578110103790290896704,4233515506163528044351709372473136729199352546645
%N A378476 The number of n-colorings of the vertices of the truncated dodecahedron up to rotation and reflection.
%C A378476 Equivalently,
%C A378476 1) the number of n-colorings of the faces of the triakis icosahedron, which is the polyhedral dual of the truncated dodecahedron.
%C A378476 2) the number of n-colorings of the faces of the pentakis dodecahedron, or n-colorings of the vertices of the truncated icosahedron, its polyhedral dual.
%C A378476 3) the number of n-colorings of the faces of the deltoidal hexecontahedron, or n-colorings of the vertices of the rhombicosidodecahedron, its polyhedral dual.
%C A378476 Colorings are counted up to the full icosahedral symmetry group of order 120.
%H A378476 Wikipedia, <a href="https://en.wikipedia.org/wiki/Deltoidal_hexecontahedron">Deltoidal hexecontahedron</a>
%H A378476 Wikipedia, <a href="https://en.wikipedia.org/wiki/Pentakis_dodecahedron">Pentakis dodecahedron</a>
%H A378476 Wikipedia, <a href="https://en.wikipedia.org/wiki/Rhombicosidodecahedron">Rhombicosidodecahedron</a>
%H A378476 Wikipedia, <a href="https://en.wikipedia.org/wiki/Triakis_icosahedron">Triakis icosahedron</a>
%H A378476 Wikipedia, <a href="https://en.wikipedia.org/wiki/Truncated_dodecahedron">Truncated dodecahedron</a>
%H A378476 Wikipedia, <a href="https://en.wikipedia.org/wiki/Truncated_icosahedron">Truncated icosahedron</a>
%F A378476 a(n) = (1/120)*(n^60 + 15*n^32 + 16*n^30 + 20*n^20 + 24*n^12 + 20*n^10 + 24*n^6).
%F A378476 Asymptotically, a(n) ~ n^60/120.
%Y A378476 Cf. A000332, A060530, A128766, A199406, A252704, A252705, A274900, A337963, A378473, A378474, A378475, A378477, A378478.
%K A378476 nonn,easy
%O A378476 0,3
%A A378476 _Peter Kagey_, Nov 27 2024
%E A378476 a(0) = 0 prepended by _Georg Fischer_, Apr 16 2025