2-isogenous partner of curve#2177 (found by Alvaro Lozano-Robledo). The rational 2-isogeny with kernel generated by the 2-torsion point (0,0) of y^2 = x(x^2 + a x + b) maps it to y^2 = x(x^2 - 2a x + a^2 - 4b); this is the minimal model of that image. The 14 points listed are the images of curve#2177's generators under the isogeny, saturated with PARI (ellsaturation, primes up to 200) and LLL-reduced. PARI's 2-descent (ellrank) gives the upper bound 14, so the rank is exactly 14. Torsion Z/2Z. curve#2177 is the fibre (a,b,c,u) = (19,139,196,12) of Kihara's Z/2Z construction.
Steps Unbounded ·