reviewed
approved
reviewed
approved
proposed
reviewed
editing
proposed
binPol[n_, x_] := With[{bb = IntegerDigits[n, 2]}, bb.x^Range[Length[bb]-1, 0, -1]];
ip[n_] := If[IrreduciblePolynomialQ[binPol[n, x]], 1, 0];
A305430[n_] := Module[{k = n + 1}, While[ip[k] == 0, k++]; k];
b[_] = 0;
a[n_] := a[n] = With[{t = A305430[n]}, b[t] = b[t]+1];
Array[a, 105] (* Jean-François Alcover, Dec 20 2021 *)
approved
editing
proposed
approved
editing
proposed
A257000(n) = polisirreducible(Pol(binary(n)));
Ordinal transform of A305430, the smallest k > n whose binary expansion encodes an irreducible (0,1)-polynomial over Q.