The OEIS mourns the passing of Jim Simons and is grateful to the Simons Foundation for its support of research in many branches of science, including the OEIS.
login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A372454 a(n) = A372444(n) - A086893(1+A372449(n)). 2
6, -48, 2560, -1572864, -3848290697216, 6649092007880460460883968, -18999521285301737936647902825311679255527123058688, 76895533293152762966220781422103876125697362804839499718093497881599910128103059800826635129716736 (list; graph; refs; listen; history; text; internal format)
OFFSET
0,1
COMMENTS
The difference between A372444(n) and the term of A086893 with the same binary length.
LINKS
FORMULA
a(n) = A372444(n) - A086893(1+A000523(A372444(n))).
a(0) = A372453(0) = 6; and for n > 0, a(n) = 4^A372448(n-1) * A372453(n).
EXAMPLE
The term of A086893 that has same binary length as A372444(0) = 27 is 21 [as 21 = 10101_2 in binary, and 27 = 11011_2 in binary], therefore a(0) = 27-21 = 6.
The term of A086893 that has same binary length as A372444(1) = 165 is 213, therefore a(1) = 165-213 = -48.
PROG
(PARI)
A000523(n) = logint(n, 2);
A371094(n) = { my(m=1+3*n, e=valuation(m, 2)); ((m*(2^e)) + (((4^e)-1)/3)); };
A372444(n) = { my(x=27); while(n, x=A371094(x); n--); (x); };
A086893(n) = (if(n%2, 2^(n+1), 2^(n+1)+2^(n-1))\3);
A372454(n) = { my(x=A372444(n)); (x - A086893(1+A000523(x))); };
(PARI) A372454(n) = if(!n, A372453(n), (4^A372448(n-1))*A372453(n));
CROSSREFS
Sequence in context: A192769 A324461 A084259 * A028308 A173011 A061429
KEYWORD
sign,new
AUTHOR
Antti Karttunen, May 05 2024
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 19 02:48 EDT 2024. Contains 372666 sequences. (Running on oeis4.)