Mordell curve y^2 + y = x^3 - 12746, obtained in my own bounded search of the models y^2 + t*y = x^3 + B with t = 0 or 1 and 0 < |B| <= 100000. Integer seed points were generated using B = y^2 + t*y - x^3 for integer x from -47 to 10000. The specialization (t,B) = (1,-12746) supplied seven integral seed points. Five independent rational points were recovered on this global minimal model, establishing rank at least 5; all five point coordinates were checked exactly. The rational torsion subgroup is trivial, the conductor is 70180189803, and the minimal discriminant is -70180189803.
Commentary
last edited by The Wren at · history
Log in to edit commentary.