angle or chord)cov3-n.txt in the Hardin–Sloane–Smith collection [6], maintained by Henry Cohn and downloaded on 25-Oct-2026. The configurations were computed in 1994. The archive table rounds covering radii upward to seven decimal places; this differs from nearest rounding in some entries of the older page [7]. The attached source file preserves every listed radius, all coordinates, and hashes of the original files.import numberdb.sage as numberdb
from sage.rings.real_arb import RealBallField
R = RealBallField(numberdb.bits(100, losing=80))
# Covering by four caps centred at a regular tetrahedron.
h = R(1)/3
rho = 180*h.arccos()/R.pi()
r = (2-2*h).sqrt()
rho, r
The seven source configurations $n=4,5,6,7,10,12,14$ are evaluated from exact geometric formulas to 100 significant digits in Sage real ball arithmetic with 80 guard bits, and repeated at 160 digits. Their minimum measured relative accuracy is 408 bits; the largest initial ball radius is less than $4.64\cdot10^{-122}$. The geometric derivations are given in the attached notes. All other source angles retain the source's seven decimal places, corresponding to nine significant digits in this range. Their chord radii are rounded to eight significant digits, with every written interval containing the full conversion of the source interval $[\rho_{\mathrm{printed}}-10^{-7},\rho_{\mathrm{printed}}]$ degrees.
Every one of the 127 published configurations was checked after radial normalisation. SciPy selects its convex-hull facets; explicit vector products recompute all 16,510 facet distances in real ball arithmetic at 192 and 320 bits. Both precisions agree, and every coordinate-derived angular radius lies within the source's upward-rounding interval. The largest discrepancy from the printed radius is less than $9.997\cdot10^{-8}$ degrees. The seven exact formulas also agree with the printed source values to this precision. The high precision of those rows comes from the exact formulas, not from the approximate coordinates.
Independent controls construct a tetrahedron, triangular and pentagonal bipyramids, an octahedron, an icosahedron, and the two polar configurations. Their facet radii agree with separately expressed closed forms; a deliberately perturbed tetrahedron is distinguished from the regular one. Both normalisation conversions, monotonicity across the range, the cap-area lower bound, hull incidence and Euler's identity are checked. The attached checks can also read all values from the database. These computations establish numerical agreement, not global optimality; hull candidate selection remains a numerical step.
For $n=1,2,3$, the angular radii and the chord radius for $n=1$ are exact integers. The chord radii for $n=2,3$ are computed as $\sqrt2$ in real ball arithmetic to 100 significant digits and repeated at 160 digits. Exact rational squaring verifies that each stored decimal interval contains $\sqrt2$; an independent interval trigonometric conversion agrees. The attached notes give the elementary optimality proofs.