A. trace identities (T(lam)T(0) -> x; (0,lam,lam,0) -> x^2-2-lam^2; = NS D(E); rotation; NS sign convention): (True, True, True, True, True)
B. reduction identity on rings K=3..7, all w, 5 lambdas: 1240/1240 exact
C. positive solution (Delta+s)psi = sqrt(lam^2+4) psi, lam=t-1/t: True
D. lam=8/3 (sqrt(lam^2+4)=10/3), KMAX=14: {'necklaces': 2615, 'chiral': 1980, 'beta_nonzero': 0, 'beta_nonzero_chiral': 0, 'red_identity_fail': 0, 'gap_fail': 0, 'negative_control_all_band_points_hit': True, 'interval_negative_controls_detected': [True, True, True, True], 'seconds': 65.7}
D. lam=15/4 (sqrt(lam^2+4)=17/4), KMAX=14: {'necklaces': 2615, 'chiral': 1980, 'beta_nonzero': 0, 'beta_nonzero_chiral': 0, 'red_identity_fail': 0, 'gap_fail': 0, 'negative_control_all_band_points_hit': True, 'interval_negative_controls_detected': [True, True, True, True], 'seconds': 70.9}
D. lam=24/5 (sqrt(lam^2+4)=26/5), KMAX=14: {'necklaces': 2615, 'chiral': 1980, 'beta_nonzero': 0, 'beta_nonzero_chiral': 0, 'red_identity_fail': 0, 'gap_fail': 0, 'negative_control_all_band_points_hit': True, 'interval_negative_controls_detected': [True, True, True, True], 'seconds': 73.3}
D. lam=21/10 (sqrt(lam^2+4)=29/10), KMAX=14: {'necklaces': 2615, 'chiral': 1980, 'beta_nonzero': 0, 'beta_nonzero_chiral': 0, 'red_identity_fail': 0, 'gap_fail': 0, 'negative_control_all_band_points_hit': True, 'interval_negative_controls_detected': [True, True, True, True], 'seconds': 73.3}
D. lam=-8/3 (sqrt(lam^2+4)=10/3), KMAX=14: {'necklaces': 2615, 'chiral': 1980, 'beta_nonzero': 0, 'beta_nonzero_chiral': 0, 'red_identity_fail': 0, 'gap_fail': 0, 'negative_control_all_band_points_hit': True, 'interval_negative_controls_detected': [True, True, True, True], 'seconds': 65.1}
D. lam=3/2 (sqrt(lam^2+4)=5/2), KMAX=14: {'necklaces': 2615, 'chiral': 1980, 'beta_nonzero': 0, 'beta_nonzero_chiral': 0, 'red_identity_fail': 0, 'gap_fail': 0, 'negative_control_all_band_points_hit': True, 'interval_negative_controls_detected': [True, True, True, True], 'seconds': 37.6}
D. lam=9/20 (sqrt(lam^2+4)=41/20), KMAX=14: {'necklaces': 2615, 'chiral': 1980, 'beta_nonzero': 0, 'beta_nonzero_chiral': 0, 'red_identity_fail': 0, 'gap_fail': 0, 'negative_control_all_band_points_hit': True, 'interval_negative_controls_detected': [True, True, True, True], 'seconds': 47.4}
python3 ref2_exact.py 14  435.10s user 0.58s system 99% cpu 7:15.90 total
