L = 5.299916250856350  h = 4.589862111171579
Z_S (sm=-i) in strip mod L: ['0.749770454883+3.646997258195j', '1.766638750285+1.885729705952j', '2.783507045688+3.646997258195j']
Z~_S (sm=+i) in strip mod L: ['0.133548920260+0.942864852976j', '3.399728580311+0.942864852976j', '4.416596875714+2.704132405219j']
Z~_S = conj(Z_S) + P (mod L): max mismatch 1.11e-16
orbit Z of 0.749770+3.646997j: sum(1-|a_k|), |k|<=14: 0.518752 ; ratio (1-|a_{k+1}|)/(1-|a_k|) at k=5: 2.657992e-02 (e^{-2pi/sqrt3} = 2.657993e-02)
orbit Z of 1.766639+1.885730j: sum(1-|a_k|), |k|<=14: 0.621025 ; ratio (1-|a_{k+1}|)/(1-|a_k|) at k=5: 2.657996e-02 (e^{-2pi/sqrt3} = 2.657993e-02)
orbit Z of 2.783507+3.646997j: sum(1-|a_k|), |k|<=14: 0.363399 ; ratio (1-|a_{k+1}|)/(1-|a_k|) at k=5: 2.658003e-02 (e^{-2pi/sqrt3} = 2.657993e-02)
orbit Z~ of 0.133549+0.942865j: sum(1-|a_k|), |k|<=14: 0.564120 ; ratio (1-|a_{k+1}|)/(1-|a_k|) at k=5: 2.657993e-02 (e^{-2pi/sqrt3} = 2.657993e-02)
orbit Z~ of 3.399729+0.942865j: sum(1-|a_k|), |k|<=14: 0.392606 ; ratio (1-|a_{k+1}|)/(1-|a_k|) at k=5: 2.657987e-02 (e^{-2pi/sqrt3} = 2.657993e-02)
orbit Z~ of 4.416597+2.704132j: sum(1-|a_k|), |k|<=14: 0.794919 ; ratio (1-|a_{k+1}|)/(1-|a_k|) at k=5: 2.658001e-02 (e^{-2pi/sqrt3} = 2.657993e-02)
|B_K40 - B_K30| max over boundary/interior samples: 7.64e-15
max ||B|-1|, ||B~|-1|, ||zeta|-1| on boundary nodes: 1.40e-14
<F, theta_0 z^k>, k=0..8: max |.| = 7.55e-16   [7.5e-16 1.2e-16 1.2e-16 5.9e-17 1.4e-16 5.2e-17 3.2e-16 5.8e-17 1.8e-16]
<G, theta_0 z^k>, k=0..8: max |.| = 7.75e-16   [7.7e-16 1.5e-16 3.3e-16 8.6e-17 2.3e-16 1.7e-16 1.1e-17 7.5e-17 1.5e-16]
<H, theta_0 z^k>, k=0..8: max |.| = 5.46e-16   [5.5e-16 1.3e-16 2.8e-16 3.8e-17 3.0e-16 7.8e-17 7.1e-17 8.2e-17 1.5e-16]
same with dx=0.04 (quadrature stability): max 9.62e-16
CONTROL <F, z B z^k> (B~ omitted), k=0..8: max |.| = 1.992e-01  [9.16e-02 1.99e-01 1.68e-01 1.19e-01 7.09e-02 5.97e-02 1.35e-02 5.19e-02 2.14e-02]
CONTROL <G, z B z^k> (B~ omitted), k=0..8: max |.| = 2.819e-01  [1.64e-01 2.32e-01 2.82e-01 8.39e-02 7.72e-02 8.19e-02 2.91e-02 9.00e-02 2.82e-02]
CONTROL <H, z B z^k> (B~ omitted), k=0..8: max |.| = 1.992e-01  [9.16e-02 1.99e-01 1.68e-01 1.19e-01 7.09e-02 5.97e-02 1.35e-02 5.19e-02 2.14e-02]
Taylor coeffs F,G,H (k=0..6): boundary-vs-interior max diff 8.06e-15 ; sizes F: 0.0774 0.2310 0.0957 0.3763 0.3194 0.1938 0.1649
CONTROL h' = 0.97 h: max |<F', theta' z^k>| = 1.295e-02 (must be clearly nonzero)
strip grid 577841 pts (Re u in [-3L,3L]): max|F| 0.997964 max|G| 0.997964 max|H| 0.997964 ; max|F^3+G^3-H^3| 1.65e-15
circles of radius 1e-6,1e-3,1e-1 around zeros: max|F| 0.2211 max|G| 0.2414 max|H| 0.2211
|F(u + kL)| - |F(u)| for |k|<=5 at 3 points: max 1.28e-15  (|F| = 0.096578 0.286338 0.260198)
det [F G H] at 3 points = 1.413404e-02
max |theta_0 conj(z) conj(f) - f~| on 1602 boundary points, f in F,G,H: 2.51e-14
strip grid: max|F~| 0.997964 max|G~| 0.997964 max|H~| 0.997964
