Listing: Listing

# m7_legacy_reconstruction.py output (supplementary; modular ranks)
CHECK double_plateau SA basis 1347 loaded: True
CHECK double_plateau SA basis has 14639 non-integer rational entries (truncation-sensitive): True
# double_plateau  vectors=old       reduction=buggy_int_truncation G=K     dim(Equiv_G cap pi_G(SA)) at 3 primes = [5, 5, 5]
# double_plateau  vectors=old       reduction=buggy_int_truncation G=C_reg dim(Equiv_G cap pi_G(SA)) at 3 primes = [3, 3, 3]
# double_plateau  vectors=old       reduction=buggy_int_truncation G=all   dim(Equiv_G cap pi_G(SA)) at 3 primes = [5, 5, 5]
# double_plateau  vectors=old       reduction=correct_reduction    G=K     dim(Equiv_G cap pi_G(SA)) at 3 primes = [5, 5, 5]
# double_plateau  vectors=old       reduction=correct_reduction    G=C_reg dim(Equiv_G cap pi_G(SA)) at 3 primes = [4, 4, 4]
# double_plateau  vectors=old       reduction=correct_reduction    G=all   dim(Equiv_G cap pi_G(SA)) at 3 primes = [6, 6, 6]
# double_plateau  vectors=corrected reduction=buggy_int_truncation G=K     dim(Equiv_G cap pi_G(SA)) at 3 primes = [5, 5, 5]
# double_plateau  vectors=corrected reduction=buggy_int_truncation G=C_reg dim(Equiv_G cap pi_G(SA)) at 3 primes = [3, 3, 3]
# double_plateau  vectors=corrected reduction=buggy_int_truncation G=all   dim(Equiv_G cap pi_G(SA)) at 3 primes = [5, 5, 5]
# double_plateau  vectors=corrected reduction=correct_reduction    G=K     dim(Equiv_G cap pi_G(SA)) at 3 primes = [5, 5, 5]
# double_plateau  vectors=corrected reduction=correct_reduction    G=C_reg dim(Equiv_G cap pi_G(SA)) at 3 primes = [9, 9, 9]
# double_plateau  vectors=corrected reduction=correct_reduction    G=all   dim(Equiv_G cap pi_G(SA)) at 3 primes = [12, 12, 12]
CHECK verbatim old computation reproduces the previously reported 5 / 3 / 5: True
CHECK old vectors with correct reduction: dim(Equiv_old cap SA) = 6 (old report 5 was a truncation artefact): True
CHECK corrected vectors with correct reduction: dim(Equiv cap SA) = 12 (agrees with exact): True
# wrote m7_legacy_reconstruction.json
ALL CHECKS PASSED