Obtained in my own specialization at T=-2 of the X163 family printed by wgxli on curve#4645 and used by Maksym Voznyy on curve#5943 and curve#6012: y^2+(9*T^2-6*T+244)*x*y+(13*T-90)*(22*T-15)*(5*T+6)*(4*T+15)*y=x^3. At T=-2 the source model is [292,0,-191632,0,0]. Four points from exactly checked factor-product sections seeded a fresh point search, followed by the minimal-model change [u,r,s,t]=[2,-7104,-146,1133000]. All five listed rational points were checked exactly on the displayed global minimal model and returned as an independent set, with rank bounds [5,5]. The rational torsion subgroup is Z/3Z.
Commentary
last edited by Maksym Voznyy at · history
Log in to edit commentary.