|
|
A293209
|
|
Let b be the lexicographically earliest sequence of positive terms such that the function f defined by f(n) = Sum_{k=1..n} (i^k * b(k)) for any n >= 0 is injective (where i denotes the imaginary unit), and b(n) != b(n+1) and b() != b(n+2) for any n > 0; a(n) = imaginary part of f(n).
|
|
2
|
|
|
0, 1, 1, -2, -2, 0, 0, -1, -1, 2, 2, 0, 0, 1, 1, -3, -3, -1, -1, -2, -2, 3, 3, -4, -4, -3, -3, -5, -5, -1, -1, -2, -2, 1, 1, -1, -1, 2, 2, -2, -2, -1, -1, -3, -3, 0, 0, -1, -1, 1, 1, -5, -5, -4, -4, -6, -6, 0, 0, -7, -7, -4, -4, -5, -5, 4, 4, 2, 2, 3, 3, -4
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,4
|
|
COMMENTS
|
See A293207 for the corresponding sequence b, and additional comments.
|
|
LINKS
|
|
|
EXAMPLE
|
f(0) = 0, and a(0) = 0.
f(2) = f(1) + (i^1) * A293207(1) = 0 + (i) * 1 = i, and a(1) = 1.
f(3) = f(2) + (i^2) * A293207(2) = i + (-1) * 2 = -2 + i, and a(2) = 1.
f(4) = f(3) + (i^3) * A293207(3) = -2 + i + (-i) * 3 = -2 - 2*i, and a(3) = -2.
f(5) = f(4) + (i^4) * A293207(4) = -2 - 2*i + (1) * 1 = -1 - 2*i, and a(4) = -2.
f(6) = f(5) + (i^5) * A293207(5) = -1 - 2*i + (i) * 2 = -1, and a(5) = 0.
f(7) = f(6) + (i^6) * A293207(6) = -1 + (-1) * 3 = -4, and a(6) = 0.
f(8) = f(7) + (i^7) * A293207(7) = -4 + (-i) * 1 = -4 - i, and a(7) = -1.
f(9) = f(8) + (i^8) * A293207(8) = -4 - i + (1) * 2 = -2 - i, and a(8) = -1.
f(10) = f(9) + (i^9) * A293207(9) = -2 - i + (i) * 3 = -2 + 2*i, and a(9) = 2.
f(11) = f(10) + (i^10) * A293207(10) = -2 + 2*i + (-1) * 1 = -3 + 2*i, and a(10) = 2.
|
|
PROG
|
(PARI) See Links section.
|
|
CROSSREFS
|
|
|
KEYWORD
|
sign
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|