OFFSET
2,2
COMMENTS
Icosidodecahedron: 32 faces, 30 vertices, and 60 edges.
FORMULA
(45 + 17*sqrt(5))/6.
EXAMPLE
13.83552593624940413982599206140528266708175201889932288543420886199647...
MATHEMATICA
RealDigits[N[(45+17*Sqrt[5])/6, 200]]
PROG
(PARI) (45 + 17*sqrt(5))/6 \\ Charles R Greathouse IV, Oct 30 2023
CROSSREFS
KEYWORD
AUTHOR
Vladimir Joseph Stephan Orlovsky, Jul 14 2010
EXTENSIONS
Partially rewritten by Charles R Greathouse IV, Feb 03 2011
STATUS
approved