Two-isogeny descent (source code)

= Two-isogeny descent
{wiki=Descent_(mathematics)#Descent_on_elliptic_curves}

For $E:y^2=x^3+ax^2+bx$ and its two-isogenous curve $E':y^2=x^3-2ax^2+(a^2-4b)x$, square-class maps on $E(\mathbb Q)$ and $E'(\mathbb Q)$ determine the Mordell-Weil rank.