%I #42 Mar 09 2024 05:59:42

%S 1,1,2,1,3,1,4,1,5,1,2,3,6,1,7,1,2,4,8,1,9,1,2,5,10,1,11,1,3,4,12,1,

%T 13,1,2,7,14,1,3,5,15,1,16,1,17,1,2,9,18,1,19,1,4,5,20,1,3,7,21,1,2,

%U 11,22,1,23,1,2,3,4,6,8,12,24,1,25,1,2,13,26,1,3,9,27,1,4,7,28,1,29,1

%N Triangle in which n-th row lists infinitary divisors of n.

%C The first difference from the triangle A222266 (bi-unitary divisors of n) is in row n = 16; indeed, the 16th row of A222266 is (1, 2, 8, 16) while the 16th of this sequence here is (1, 16). - _Bernard Schott_, Mar 10 2023

%C The concept of infinitary divisors was introduced by Cohen (1990). - _Amiram Eldar_, Mar 09 2024

%H Reinhard Zumkeller, <a href="/A077609/b077609.txt">Rows n = 1..1000 of table, flattened</a>

%H Graeme L. Cohen, <a href="https://doi.org/10.1090/S0025-5718-1990-0993927-5">On an integer's infinitary divisors</a>, Mathematics of Computation, Vol. 54, No. 189 (1990), pp. 395-411.

%H Graeme L. Cohen and Peter Hagis, Jr., <a href="http://dx.doi.org/10.1155/S0161171293000456">Arithmetic functions associated with the infinitary divisors of an integer</a>, Internat. J. Math. Math. Sci. 16 (2) (1993) 373-384.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/InfinitaryDivisor.html">Infinitary Divisor</a>.

%e The first few rows are:

%e 1;

%e 1, 2;

%e 1, 3;

%e 1, 4;

%e 1, 5;

%e 1, 2, 3, 6;

%e 1, 7;

%e 1, 2, 4, 8;

%e 1, 9;

%e 1, 2, 5, 10;

%e 1, 11;

%e 1, 3, 4, 12;

%e 1, 13;

%e 1, 2, 7, 14;

%e 1, 3, 5, 15;

%e 1, 16;

%e 1, 17;

%p # see the function idivisors() in A049417. # _R. J. Mathar_, Oct 05 2017

%t f[x_] := If[x == 1, 1, Sort@ Flatten@ Outer[Times, Sequence @@ (FactorInteger[x] /. {p_, m_Integer} :> p^Select[Range[0, m], BitOr[m, #] == m &])]] ; Array[f, 30] // Flatten (* Paul Abbott (paul(AT)physics.uwa.edu.au), Apr 29 2005 *) (* edited by _Michael De Vlieger_, Jun 07 2016 *)

%o (Haskell)

%o import Data.List ((\\))

%o a077609 n k = a077609_row n !! (k-1)

%o a077609_row n = filter

%o (\d -> d == 1 || null (a213925_row d \\ a213925_row n)) $ a027750_row n

%o a077609_tabf = map a077609_row [1..]

%o -- _Reinhard Zumkeller_, Jul 10 2013

%o (PARI) isidiv(d, f) = {if (d==1, return (1)); for (k=1, #f~, bne = binary(f[k,2]); bde = binary(valuation(d, f[k,1])); if (#bde < #bne, bde = concat(vector(#bne-#bde), bde)); for (j=1, #bne, if (! bne[j] && bde[j], return (0)););); return (1);}

%o row(n) = {d = divisors(n); f = factor(n); idiv = []; for (k=1, #d, if (isidiv(d[k], f), idiv = concat(idiv, d[k]));); idiv;} \\ _Michel Marcus_, Feb 15 2016

%Y Cf. A027750, A037445 (row lengths), A049417 (row sums).

%Y Cf. A222266.

%K nonn,tabf

%O 1,3

%A _Eric W. Weisstein_, Nov 11 2002