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