OFFSET
1,1
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Snub square antiprism.
Wikipedia, Snub square antiprism.
FORMULA
Equals arccos(c), where c = -0.8104878... is the largest negative root of 81*x^6 - 54*x^5 - 513*x^4 + 492*x^3 + 367*x^2 - 246*x + 1.
EXAMPLE
2.51578077546136803693663507701290853162140127962...
MATHEMATICA
First[RealDigits[ArcCos[Root[81*#^6 - 54*#^5 - 513*#^4 + 492*#^3 + 367*#^2 - 246*# + 1 &, 2]], 10, 100]] (* or *)
First[RealDigits[RankedMin[Union[PolyhedronData["J85", "DihedralAngles"]], 2], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Oct 29 2025
STATUS
approved
