r2_resultants.py -- verification run 2, KOU-15.75 (Remark 3.6)
Res(g, kappa-2) = 16  (kappa-2 = 2t^2-4 on (0,t,t))
Res(h, kappa-2) = 1   Res(h^-, kappa-2) = 1  (kappa-2 = t^2-3 on (1,t,t))
line (0,t,t): gcd_k Res(g, coords of U_2 (K) - (+1)e0) = 1024 = 2^10
line (0,t,t): gcd_k Res(g, coords of U_2 (K) - (-1)e0) = 1024 = 2^10
line (0,t,t): gcd_k Res(g, coords of U'_3 (O) - (+1)e0) = 5192296858534827628530496329220096 = 2^112
line (0,t,t): gcd_k Res(g, coords of U'_3 (O) - (-1)e0) = 5192296858534827628530496329220096 = 2^112
line (1,t,t): gcd_k Res(h, coords of U_2 (K) - (+1)e0) = 1
line (1,t,t): gcd_k Res(h, coords of U_2 (K) - (-1)e0) = 1
line (1,t,t): gcd_k Res(h^-, coords of U_2 (K) - (+1)e0) = 1
line (1,t,t): gcd_k Res(h^-, coords of U_2 (K) - (-1)e0) = 1
