Hilbert 12: closure attempt

Download original file

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

1 PASS epsilon times rho equals one
2 PASS integer lattice inverse
3 PASS unit lattice determinants
4 PASS contracting fixed label carry
5 PASS seven-torsion inverse unit carry
6 PASS forward unit carry
7 PASS epsilon tau on lattice
8 PASS epsilon sigma on lattice
9 PASS epsilon one fifth on lattice
10 PASS rho tau on lattice
11 PASS rho sigma on lattice
12 PASS rho one fifth on lattice
13 PASS carry k=0
14 PASS carry k=1
15 PASS carry k=2
16 PASS carry k=3
17 PASS carry k=4
18 PASS carry k=5
19 PASS carry k=6
20 PASS conductor points outside fifth-divisor lattice (rational coordinates)
21 PASS two primitive three-cycles and fixed conductor label
22 PASS seven-label permutation spectrum: 1^3, omega^2, omega-bar^2
23 PASS ambient mod-seven unit has order 21, semisimple torsion slice has order 3
24 PASS plus primitive ratio X
25 PASS plus primitive ratio Y
26 PASS plus cycle norm
27 PASS plus cubic reconstruction
28 PASS minus primitive ratio X
29 PASS minus primitive ratio Y
30 PASS minus cycle norm
31 PASS minus cubic reconstruction
32 PASS two-dimensional monomial action of exact order three
33 PASS contraction telescope index: pi^{-m}(k)=2^m k modulo seven
34 Carry data:
35   (0, 0, 5, 0, 1)
36   (1, 4, 13, -1, 1)
37   (2, 1, 22, 0, 5)
38   (3, 5, 30, -1, 5)
39   (4, 2, 39, 0, 9)
40   (5, 6, 47, -1, 9)
41   (6, 3, 56, 0, 13)
42 Exact audit passed. The algebraic-to-analytic special-value equality is not proved.

Back to source controls

Back to Hilbert 12: closure attempt