|
|
A348920
|
|
a(n) is the "real" part of f(n) = Sum_{k >= 0} g(d_k) * (4 + w)^k where g(0) = 0 and g(1 + u + 2*v) = (1 + u) * (1 + w)^v for any u = 0..1 and v = 0..5, Sum_{k >= 0} d_k * 13^k is the base-13 representation of n and w = -1/2 + sqrt(-3)/2 is a primitive cube root of unity; sequence A348921 gives "w" parts.
|
|
2
|
|
|
0, 1, 2, 1, 2, 0, 0, -1, -2, -1, -2, 0, 0, 4, 5, 6, 5, 6, 4, 4, 3, 2, 3, 2, 4, 4, 8, 9, 10, 9, 10, 8, 8, 7, 6, 7, 6, 8, 8, 3, 4, 5, 4, 5, 3, 3, 2, 1, 2, 1, 3, 3, 6, 7, 8, 7, 8, 6, 6, 5, 4, 5, 4, 6, 6, -1, 0, 1, 0, 1, -1, -1, -2, -3, -2, -3, -1, -1, -2, -1, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,3
|
|
COMMENTS
|
For any Eisenstein integer z = u + v*w (where u and v are integers), we call u the "real" part of z and v the "w" part of z.
It appears that f defines a bijection from the nonnegative integers to the Eisenstein integers.
The following diagram depicts g(d) for d = 0..12:
"w" axis
\
. . .
6 \ 4
\
. .
5 \ 3
\
._____._____._____._____._ "real" axis
8 7 0 \ 1 2
\
. .
9 11 \
\
. . .
10 12 \
|
|
LINKS
|
|
|
PROG
|
(PARI) See Links section.
|
|
CROSSREFS
|
|
|
KEYWORD
|
sign,base
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|