OFFSET
1,1
COMMENTS
Dehn invariant of an icosidodecahedron with unit edge length and (negated) of a (small) rhombicosidodecahedron with unit edge length.
LINKS
Eric Weisstein's World of Mathematics, Dehn Invariant.
Eric Weisstein's World of Mathematics, Icosidodecahedron.
Eric Weisstein's World of Mathematics, Small Rhombicosidodecahedron.
EXAMPLE
7.9824014167848074172162128505631888010390657928...
MATHEMATICA
First[RealDigits[-30*ArcSin[(5 - Sqrt[80])/15], 10, 100]] (* or *)
First[RealDigits[PolyhedronData["Icosidodecahedron", "DehnInvariant"], 10, 100]]
PROG
(PARI) 30*asin((4*sqrt(5)-5)/15) \\ Charles R Greathouse IV, Nov 21 2024
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Nov 03 2024
STATUS
approved