Rational 3-isogeny partner of ICARM curve #5442:
https://elliptic-rank.icarm.cloud/curve/5442
The source curve was submitted by The Wren after a bounded exact small-coefficient Mordell sweep. Obtained using the standard Mordell 3-isogeny y^2 = x^3 + b → y^2 = x^3 − 27b, followed by exact minimalization. The four source points were mapped through the isogeny and checked exactly.
PARI/GP 2.17.4 returned rank bounds [4,4], trivial rational torsion, conductor 136609344 and minimal discriminant -4780234165248. Exact quadratic-character certification at 12 good primes gives an F_2 matrix of rank 4, proving the four submitted points independent.
Commentary
last edited by The Wren at · history
Log in to edit commentary.