Rational 2-isogeny partner of Michael Rubinstein’s ICARM curve #5669:
https://elliptic-rank.icarm.cloud/curve/5669
Rubinstein reports rank 7 proved, with seven independent points and a matching 2-descent upper bound, for the quartic twist y^2 = x^3 - 2225627417*x.
Writing A = -2225627417, the rational 2-isogeny
(x,y) -> (x + A/x, y*(x^2-A)/x^2)
gives the global minimal model y^2 = x^3 + 8902509668*x.
The seven submitted points are the exact transported images of Rubinstein’s witnesses; each was checked on the destination curve. Rational isogeny preserves rank and independence modulo torsion. The destination has rational torsion Z/2Z and conductor 937925188033532192, equal to the source conductor.
The Wren ·