OFFSET
1,2
COMMENTS
Each term of A260427 resides in a separate infinite cycle. This follows because any polynomial with (coefficients 0 or 1) that is irreducible over GF(2) is also irreducible over Q, in other words, A014580 is a subset of A206074. [See Thomas Ordowski's Feb 21 2014 comment in A014580] and thus any term of A091242 in A206074 is trapped into a trajectory containing only terms of A014580.
LINKS
FORMULA
PROG
(PARI)
allocatemem(234567890);
vecsize = (2^24)-4;
uplim = 2^25;
v014580 = vector(vecsize); A014580 = n -> v014580[n];
v091242 = vector(vecsize); A091242 = n -> v091242[n];
v255574 = vector(vecsize); A255574 = n -> v255574[n];
isA014580(n) = polisirreducible(Pol(binary(n))*Mod(1, 2)); \\ This function from Charles R Greathouse IV
isA206074(n) = polisirreducible(Pol(binary(n)));
A257000 = n -> isA206074(n);
v255574[1] = 0; i=0; j=0; n=2; while((n < uplim), if(!(n%65536), print1(n, ", ")); v255574[n] = v255574[n-1]+A257000(n); if(isA014580(n), i++; v014580[i] = n, j++; v091242[j] = n); n++); print(n);
A260426(n) = if(1==n, 1, if(isA206074(n), A014580(A260426(A255574(n))), A091242(A260426(A255572(n)))));
for(n=1, 7968, write("b260426.txt", n, " ", A260426(n)));
CROSSREFS
Inverse: A260425.
KEYWORD
nonn,look
AUTHOR
Antti Karttunen, Jul 26 2015
STATUS
approved