|
|
A255574
|
|
a(n) = Number of terms of A206074 in range 0 .. n.
|
|
9
|
|
|
0, 0, 1, 2, 2, 3, 3, 4, 4, 4, 4, 5, 5, 6, 6, 6, 6, 7, 7, 8, 8, 8, 8, 9, 9, 10, 10, 10, 10, 11, 11, 12, 12, 12, 12, 12, 12, 13, 13, 13, 13, 14, 14, 15, 15, 15, 15, 16, 16, 16, 16, 16, 16, 17, 17, 18, 18, 18, 18, 19, 19, 20, 20, 20, 20, 20, 20, 21, 21, 22, 22, 23, 23, 24, 24, 24, 24, 25, 25, 26, 26, 27, 27
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,4
|
|
LINKS
|
|
|
FORMULA
|
a(0) = 0; for n >= 1, a(n) = A257000(n) + a(n-1).
Other identities and observations.
For all n >= 0:
For all n >= 1:
a(A206074(n)) = n. [This sequence works as a left inverse for injection A206074.]
|
|
MATHEMATICA
|
binPol[n_, x_] := With[{bb = IntegerDigits[n, 2]}, bb.x^Range[Length[bb]-1, 0, -1]];
b[n_] := If[IrreduciblePolynomialQ[binPol[n, x]], 1, 0];
|
|
PROG
|
(PARI)
isA206074(n) = polisirreducible(Pol(binary(n)));
A255574_write_bfile(up_to_n) = { my(n, a_n=0); for(n=0, up_to_n, if(isA206074(n), a_n++); write("b255574.txt", n, " ", a_n)); };
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|