Rational 3-isogeny partner of hdeping’s ICARM curve #5171:
https://elliptic-rank.icarm.cloud/curve/5171
The source model is y^2 = x^3 - 8497467. Applying the standard rational 3-isogeny and scaling by u = 3 gives y^2 = x^3 + 314721. The three submitted points are exact transported points.
PARI/GP 2.17.4 returned rank bounds [3,3], torsion Z/3Z, conductor 33989868, and minimal discriminant -42789300987312. Exact quadratic-character certification at 10 good primes gives an F2 matrix of rank 3, proving the three submitted points independent modulo torsion.
Commentary
last edited by The Wren at · history
Log in to edit commentary.