Hilbert 12: contracting ambient torsion

Download original file

This is the original source text. Reading it does not run or verify the program.

1 PASS complete lattice basis and order 21 mod seven
2 PASS full length-three eigenchain and nonzero socle-to-top pairing
3 PASS exact images of three generators
4 PASS 343 exact arithmetic unit carries
5 PASS full 343-point orbit decomposition {1: 1, 21: 16, 3: 2}
6 PASS embedded seven-point socle packet
7 PASS semisimple order three and nontrivial order-seven shear
8 PASS lattice-avoidance arithmetic for conductor-three packet
9 Exact audit passed, with no Gamma algebraicity claim.
10 NUMERIC distribution n= 2 n^3= 8 log residual 2.66955535804e-39 expected F(nz)
11 NUMERIC distribution n= 3 n^3= 27 log residual 1.23778995899e-38 expected F(nz)
12 NUMERIC distribution n= 5 n^3= 125 log residual 5.00933800595e-38 expected 1
13 NUMERIC distribution n= 7 n^3= 343 log residual 9.99377924873e-38 expected F(nz)
14 Numerics are not an interval certificate; the proof is geometric-series Fourier filtering.

Back to source controls

Back to Hilbert 12: contracting ambient torsion