OFFSET
0,1
COMMENTS
This is a (-1,1) generalized Somos-4 sequence.
For the elliptic curve y^2 + y = x^3 - x^2, the multiples of the point (0, 0) are (a(n-1)*a(n+1)/a(n)^2, -a(n-1)^2*a(n+2)/a(n)^3).
LINKS
Index entries for linear recurrences with constant coefficients, signature (0,1,0,-1,0,1,0,-1).
FORMULA
EXAMPLE
G.f. = x + x^2 + x^3 + x^4 + x^6 - x^7 + x^8 - x^9 - x^11 - x^12 + ...
MATHEMATICA
a[ n_] := {1, 1, 1, 1, 0, 1, -1, 1, -1, 0}[[Mod[n, 10, 1]]];
PROG
(PARI) {a(n) = (-1)^(n\10) * [0, 1, 1, 1, 1, 0, 1, -1, 1, -1][n%10 + 1]};
(PARI) {a(n) = my(E=ellinit([0, -1, 1, 0, 0]), z=ellpointtoz(E, [0, 0])); (-1)^(n\2) * round(ellsigma(E, n*z) / ellsigma(E, z)^n^2)};
CROSSREFS
KEYWORD
sign,easy
AUTHOR
Michael Somos, Feb 25 2020
STATUS
approved