A000123 and company
Wouter Meeussen
eu000949 at pophost.eunet.be
Sat Aug 14 17:09:40 CEST 1999
Summary (for Neil):
-------
A042949 is identical to A018819,
A033485 is Rest[A000123] /2
***************************************
A000123 is (in short) :
ID Number: A000123 (Formerly M1011 and N0378)
Sequence: 1,2,4,6,10,14,20,26,36,46,60,74,94,114,140,166,202,238,284,..
..
Formula: G.f.: (1-x)^{-1} {prod from { n =0 } to inf ( 1 - x^{2^n} )^{-1} .
Name: Binary partitions (partitions of 2n into powers of 2):
a(n)=a(n-1)+a([n/2]).
See also: Cf. A042949.
******
the pointer to A042949 leads to:
******
ID Number: A042949
Sequence: 1,1,2,2,4,4,6,6,10,10,14,14,20,20,26,26,36,36,46,46,60,60,..
Name: First differences of A000123; also A000123 doubled up.
IS SAME AS:
ID Number: A018819
Sequence: 1,1,2,2,4,4,6,6,10,10,14,14,20,20,26,26,36,36,46,46,60,60,..
Name: Partitions of n into powers of 2.
Formula: G.f.: 1 / PROD (1-x^(2^j)).
Keywords: nonn
Offset: 0
Author(s): David W. Wilson (wilson at ctron.com)
***************************************
Now consider :
***************************************
ID Number: A033485
Sequence: 1,2,3,5,7,10,13,18,23,30,37,47,57,70,83,101,119,142,165,195,
225,262,299,346,393,450,507,577,647,730,813,914,1015,1134,
1253,1395,1537,1702,1867,2062,2257,2482,2707,2969
Name: a(n)=a(n-1)+a(n/2) if n even, = a(n-1)+a((n-1)/2) if n odd.
See also: Cf. A040039.
Keywords: nonn,nice
Offset: 1
Author(s): Philippe Deleham, BP 29, Coconi, 97670 Ouangani, Mayotte.
ID Number: A040039
Sequence: 1,1,2,2,3,3,5,5,7,7,10,10,13,13,18,18,23,23,30,30,37,37,47,
47,57,57,70,70,83,83,101,101,119,119,142,142,165,165,195,
195,225,225,262
Name: First differences of A033485; also A033485 doubled up.
Keywords: nonn
Offset: 0
Author(s): njas, jhc
*****************************************
neither have a GF or a link to A000123.
The first (=A033485) is (Rest[A000123])/2
[[an evidence :
[[ multiplying the GF(z) of a sequence with (1-z)
[[ produces the GF of the first differences of that sequence.
[[ dividing the GF(z) of a sequence by (1-z)
[[ produces the GF of the running sum of that sequence.
a propos,
the GF of A042949 and A018819 is
1/PROD[1-z^(2^j), {j,0,oo}]
with PROD[1-z^(2^j), {j,0,oo}] being the GF of
the parity of the number of 1's in the binary decomposition of n.
Is there a "simple" relation between the sequences generated by
GF and 1/GF ??
In the best of worlds, we ought to be able to look up the GF itself; but the
multitude of languages (Maple, Mma, C++) spoils it.
wouter.
More information about the SeqFan
mailing list