OFFSET
0,4
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..232
FORMULA
Given elliptic curve "58a1" : y^2 + x * y = x^3 - x^2 - x + 1, then the n th multiple of point [0, 1] is [a(n) / A242107(n)^2, A242107(n+2)^2 * A242107(n-4) / A242107(n)^3].
a(n) = a(-n) for all n in Z.
0 = a(n)*a(n+7) + a(n+1)*a(n+6) - 2*a(n+2)*a(n+5) - 2*a(n+3)*a(n+4) for all n in Z.
0 = 2*a(n)*a(n+6) - a(n+1)*a(n+5) + 2*a(n+2)*a(n+4) - a(n+3)*a(n+3) for all even n in Z.
0 = a(n)*a(n+6) - 2*a(n+1)*a(n+5) + a(n+2)*a(n+4) - 2*a(n+3)*a(n+3) for all odd n in Z.
MATHEMATICA
Join[{1, 0}, RecurrenceTable[{a[n] == (-a[n-6]*a[n-1] + 2*a[n-2]*a[n-5] + 2*a[n-3]*a[n-4])/a[n-7], a[2] == 1, a[3] == 2, a[4] == -1, a[5] == 4, a[6] == 3, a[7] == 4, a[8] == 15}, a, {n, 2, 50}]] (* G. C. Greubel, Aug 05 2018 *)
PROG
(PARI) {a(n) = if( n==0, 1, n=abs(n); numerator( ellmul( ellinit([1, -1, 0, -1, 1]), [0, 1], n)[1]))};
(Magma) I:=[1, 2, -1, 4, 3, 4, 15]; [n le 7 select I[n] else (-Self(n-6)*Self(n -1) + 2*Self(n-2)*Self(n-5) + 2*Self(n-3)*Self(n-4))/Self(n-7): n in [1..30]]; // G. C. Greubel, Aug 05 2018
CROSSREFS
KEYWORD
sign
AUTHOR
Michael Somos, Aug 22 2014
STATUS
approved