OFFSET
1,21
COMMENTS
Terms from n = 29 onward are the analytic ranks (see PARI code) of the corresponding elliptic curves. By the BSD conjecture, these are expected to equal the algebraic ranks. Thus, the validity of these terms is conditional on BSD.
LINKS
EXAMPLE
a(1) = 1 because y^2 = x^3 + x + 1 has rank 1.
PROG
(SageMath)
for k in range(1, 29):
E = EllipticCurve([k, k])
print(E.rank(), end=", ")
(PARI) a(n) = ellanalyticrank(ellinit([n, n]))[1]; \\ Jinyuan Wang, Aug 08 2025
CROSSREFS
KEYWORD
nonn
AUTHOR
Shreyansh Jaiswal, Aug 08 2025
EXTENSIONS
More terms from Jinyuan Wang, Aug 08 2025
STATUS
approved
