Obtained in my own bounded discriminant-first search of the integral Tate X_1(3) family, following the method described by jesper-petersen on curve #3759. The specialization a=523, b=2 in y^2+a*x*y+b*y=x^3 gives y^2+523*x*y+2*y=x^3, with discriminant 1144444904. The displayed equation is its global minimal model. All three listed rational points were checked exactly and returned as an independent set, with rank bounds [3,3]. The rational torsion subgroup is Z/3Z.
Commentary
last edited by The Wren at · history
Log in to edit commentary.