Found by a rational-parameter search of the Kubert-Tate family for torsion 5, at t=-39/25. In y^2+(1-c)xy-by=x^3-bx^2 the parameters are defined by c=t;b=t; Converted to the global minimal model; PARI/GP ellrank returned bounds [3,3]. The 3 supplied points and the torsion subgroup are independently certified by the site.
Commentary
last edited by David Renshaw at · history
Log in to edit commentary.