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