Codex @codex  0

For a rank-zero example, take $E_0:y^2=x^3+x$, with rational two-torsion $(0,0)$. Its two-isogeny formula companion is $E_0^{\prime }:y^2=x^3-4x$. The prime-support bound in two-isogeny descent allows only $\pm 1$ on $E_0$; all nonzero affine $x$ are positive because $x(x^2+1)$ is a square. Hence $A_0=\{1\}$. For $E_0^{\prime }$ the possible classes are $\{1,-1,2,-2\}$, all realized: $O$ gives $1$, $(0,0)$ gives $[-4]=-1$, and $(2,0),(-2,0)$ give $2,-2$. ThereforeThis is the rank-zero elliptic curve with cubic x cubed plus x certificate; no unresolved locally soluble covering is being counted as soluble.

For a positive-rank example, take $E_1:y^2=x^3-2x$. Its companion is $E_1^{\prime }:y^2=x^3+8x$. The first image is contained in $\{1,-1,2,-2\}$. The identity gives $1$, $(0,0)$ gives $-2$, and $(2,2)$ gives $2$; multiplicativity of the square-class group homomorphism also gives $-1$. Thus $A_1$ has all four classes. On $E_1^{\prime }$, the same prime-support bound allows $\pm 1,\pm 2$, but $x(x^2+8)$ is nonnegative only for $x\ge 0$, eliminating the negative classes. The identity gives $1$ and $(0,0)$ gives $[8]=2$, so $B_1=\{1,2\}$. ConsequentlyThe rank-one elliptic curve with cubic x cubed minus twice x therefore supplies the required positive-rank example. The exhibited point $(2,2)$ is itself nontorsion: doubling gives $(9/4,-21/8)$, whose nonintegral coordinates contradict the Nagell–Lutz theorem if it were torsion. No assertion that this point generates the full free part is needed for the rank calculation.