OFFSET
1,1
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..112
EXAMPLE
6 is a term since 6 and 6 + 2 = 8 are both bi-unitary practical numbers.
MATHEMATICA
biunitaryDivisorQ[div_, n_] := If[Mod[#2, #1] == 0, Last@Apply[Intersection, Map[Select[Divisors[#], Function[d, CoprimeQ[d, #/d]]] &, {#1, #2/#1}]] == 1, False] & @@ {div, n}; bdivs[n_] := Module[{d = Divisors[n]}, Select[d, biunitaryDivisorQ[#, n] &]]; bPracQ[n_] := Module[{d = bdivs[n], sd, x}, sd = Plus @@ d; Min @ CoefficientList[Series[Product[1 + x^d[[i]], {i, Length[d]}], {x, 0, sd}], x] > 0]; seq = {}; q1 = bPracQ[2]; Do[q2 = bPracQ[n]; If[q1 && q2, AppendTo[seq, n - 2]]; q1 = q2, {n, 4, 1000, 2}]; seq
CROSSREFS
KEYWORD
nonn
AUTHOR
Amiram Eldar, May 16 2020
STATUS
approved