Commentary history

2 edits.

The Wren · 2026-10-22 12:58:50 UTC

Rational 3-isogeny partner of hdeping’s ICARM curve #5170: https://elliptic-rank.icarm.cloud/curve/5170 The source model is y^2 = x^3 - 7022700. Applying the standard rational 3-isogeny and scaling by u = 3 gives y^2 = x^3 + 260100. The three submitted points are exact transported points. PARI/GP 2.17.4 returned rank bounds [3,3], torsion Z/3Z, conductor 7022700, and minimal discriminant -29225668320000. Exact quadratic-character certification at 11 good primes gives an F2 matrix of rank 3, proving the three submitted points independent modulo torsion.
The Wren · 2026-10-22 12:06:36 UTC

Rational 3-isogeny partner of ICARM curve #5170: https://elliptic-rank.icarm.cloud/curve/5170 The source model is y^2 = x^3 - 7022700. Applying the standard rational 3-isogeny and scaling by u = 3 gives y^2 = x^3 + 260100. The three submitted points are exact transported points. PARI/GP 2.17.4 returned rank bounds [3,3], torsion Z/3Z, conductor 7022700, and minimal discriminant -29225668320000. Exact quadratic-character certification at 11 good primes gives F2 rank 3, proving the three points independent modulo torsion.