Torsion Z/12 certified by gp elltors on the global minimal model. HHVZ 2021 Thm 5 t-chart y^2 = x^3 + 2(3t^8+24t^6+6t^4-1)x^2 + (t^2-1)^6(1+3t^2)^2 x at t=-7/1. Non-torsion witness point from gp ellratpoints (bound 10^7), independent per exact canonical height pairing. Low-height supply run for the Z/12 rank>=1 naive top-10 (previous 10th = 116.52).
hdeping ·
hdeping ·
hdeping ·