Found in a rational-parameter search of the Kubert–Tate family for torsion ℤ/9ℤ: y^2 + (1-c)xy - by = x^3 - bx^2 with c=t^2(t-1), b=c(t^2-t+1), at t = 7/20; converted to the global minimal model. The 2 witness points were found with PARI/GP ellrank. Conductor 3054566970, torsion ℤ/9ℤ.
Commentary
last edited by David Renshaw at · history
Log in to edit commentary.