OFFSET
1,1
MATHEMATICA
infCoprimeQ[n1_, n2_] := Module[{g = GCD[n1, n2]}, If[g == 1, True, AllTrue[FactorInteger[g][[;; , 1]], BitAnd @@ IntegerExponent[{n1, n2}, #] == 0 &]]];
iphi[n_] := Sum[Boole[infCoprimeQ[j, n]], {j, 1, n - 1}];
numiter[n_] := Length@ NestWhileList[iphi, n, # > 1 &] - 1;
seq[kmax_] := Module[{v = {}, n = 1}, Do[If[numiter[k] == n, AppendTo[v, k]; n++], {k, 2, kmax}]; v]; seq[1000]
PROG
(PARI) isinfcoprime(n1, n2) = {my(g = gcd(n1, n2), p, e1, e2); if(g == 1, return(1)); p = factor(g)[, 1]; for(i=1, #p, e1 = valuation(n1, p[i]); e2 = valuation(n2, p[i]); if(bitand(e1, e2) > 0, return(0))); 1; }
iphi(n) = sum(j = 1, n-1, isinfcoprime(j, n));
numiter(n) = if(n==2, 1, numiter(iphi(n)) + 1);
lista(kmax) = {my(n = 1); for(k = 2, kmax, if(numiter(k) == n, print1(k, ", "); n++)); }
CROSSREFS
KEYWORD
nonn
AUTHOR
Amiram Eldar, Apr 05 2023
STATUS
approved