OFFSET
1,1
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Disphenocingulum.
Wikipedia, Disphenocingulum.
FORMULA
Equals arccos(c), where c = -0.569307... is the largest negative real root of 531441*x^12 + 17714700*x^11 + 194743602*x^10 + 814167612*x^9 + 1478160495*x^8 + 1155453336*x^7 - 96884100*x^6 - 1588339368*x^5 - 2042658081*x^4 - 706449060*x^3 + 612044658*x^2 + 580836204*x + 135375265.
EXAMPLE
2.176459066501222579898433924084539147055398826233...
MATHEMATICA
First[RealDigits[ArcCos[Root[531441*#^12 + 17714700*#^11 + 194743602*#^10 + 814167612*#^9 + 1478160495*#^8 + 1155453336*#^7 - 96884100*#^6 - 1588339368*#^5 - 2042658081*#^4 - 706449060*#^3 + 612044658*#^2 + 580836204*# + 135375265 &, 6]], 10, 100]] (* or *)
First[RealDigits[RankedMin[Union[PolyhedronData["J90", "DihedralAngles"]], 2], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Dec 07 2025
STATUS
approved
