Hilbert 12: closure attempt

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 complementary dual character has a full 21-step orbit
9 PASS lattice-avoidance arithmetic for conductor-three packet
10 Exact audit passed, with no Gamma algebraicity claim.

Back to source controls

Back to Hilbert 12: closure attempt