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=1029, b=1 in y^2+a*x*y+b*y=x^3 gives y^2+1029*x*y+y=x^3, with discriminant 1089547362. 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.