%I #15 Dec 20 2021 09:49:17

%S 1,1,1,2,1,2,1,2,3,4,1,2,1,2,3,4,1,2,1,2,3,4,1,2,1,2,3,4,1,2,1,2,3,4,

%T 5,6,1,2,3,4,1,2,1,2,3,4,1,2,3,4,5,6,1,2,1,2,3,4,1,2,1,2,3,4,5,6,1,2,

%U 1,2,1,2,1,2,3,4,1,2,1,2,1,2,1,2,3,4,1,2,1,2,1,2,3,4,5,6,1,2,3,4,1,2,1,2,3

%N Ordinal transform of A305430, the smallest k > n whose binary expansion encodes an irreducible (0,1)-polynomial over Q.

%H Antti Karttunen, <a href="/A305300/b305300.txt">Table of n, a(n) for n = 1..65537</a>

%F a(1) = 1; for n > 1, if A257000(n) = 1 [when n is in A206074], a(n) = 1, otherwise a(n) = 1 + n - A305429(n).

%t binPol[n_, x_] := With[{bb = IntegerDigits[n, 2]}, bb.x^Range[Length[bb]-1, 0, -1]];

%t ip[n_] := If[IrreduciblePolynomialQ[binPol[n, x]], 1, 0];

%t A305430[n_] := Module[{k = n + 1}, While[ip[k] == 0, k++]; k];

%t b[_] = 0;

%t a[n_] := a[n] = With[{t = A305430[n]}, b[t] = b[t]+1];

%t Array[a, 105] (* _Jean-François Alcover_, Dec 20 2021 *)

%o (PARI)

%o A257000(n) = polisirreducible(Pol(binary(n)));

%o A305429(n) = if(n<3,1, my(k=n-1); while(k>1 && !A257000(k),k--); (k));

%o A305300(n) = if((1==n)||(1==A257000(n)),1,1+(n-A305429(n)));

%o (PARI)

%o up_to = 65537;

%o ordinal_transform(invec) = { my(om = Map(), outvec = vector(length(invec)), pt); for(i=1, length(invec), if(mapisdefined(om,invec[i]), pt = mapget(om, invec[i]), pt = 0); outvec[i] = (1+pt); mapput(om,invec[i],(1+pt))); outvec; };

%o A305430(n) = { my(k=1+n); while(!A257000(k),k++); (k); };

%o v305300 = ordinal_transform(vector(up_to,n,A305430(n)));

%o A305300(n) = v305300[n];

%Y Cf. A206074 (gives the positions of other 1's after the initial one).

%Y Cf. A257000, A305429, A305430, A305437, A305438.

%Y Cf. also A175851.

%K nonn

%O 1,4

%A _Antti Karttunen_, Jun 09 2018