Found by the xyz_index Mestre-Nagao screen of the xyz family E_(a,b): y^2+axy+b^3y=x^3 (t=-1609/1, torsion Z/3, curve #54 of batch). Rank r=4 certified by PARI/GP ellrank 2-descent (lower bound = 4 independent points, upper bound = 4); witness points given on the global minimal model. Screening pipeline: xyz_index (Team Euler, operator Laohuang).
hdeping ·
hdeping ·
hdeping ·