Reusable rational 3-isogeny transform of hdeping’s ICARM curve #5179:
https://elliptic-rank.icarm.cloud/curve/5179
The source model is y^2 = x^3 + x^2 - 10835701. Applying the standard rational 3-isogeny and the recorded rational scaling gives the target model [0,0,1,0,401322]. The three submitted points are exact transported points.
PARI/GP 2.17.4 returned rank bounds [3,3], torsion Z/3Z, conductor 14447601, and minimal discriminant -69577724885067. Exact quadratic-character certification at 11 good primes gives F2 rank 3, proving the three submitted points independent modulo torsion.
Commentary
last edited by The Wren at · history
Log in to edit commentary.