OFFSET
0,6
LINKS
Clark Kimberling, Strong divisibility sequences and some conjectures, Fib. Quart., 17 (1979), 13-17.
EXAMPLE
t_1 = 1, t_2 = x, t_3 = y, t_4 = x*z, a(1) = a(2) = a(3) = a(4) = 1, t_5 = x^4*z - y^3, a(5) = 2. t_6 = x^5*y*z - x*y^4 - x*y*z^2, a(6) = 3. t_7 = x^4*y^3*z - x^4*z^3 - y^6, a(7) = 3.
MATHEMATICA
a[ n_] := a[n] = If[ Abs@n <= 4, Boole[n != 0], Length @ t[n]]; t[ n_] := t[n] = Sign[n] If[ Abs@n <= 4, {0, 1, x, y, x z}[[Abs[n] + 1]], (x^2 t[n-1] t[n-3] - y t[n-2]^2) / t[n-4] // Factor // Expand];
CROSSREFS
KEYWORD
nonn
AUTHOR
Michael Somos, Nov 28 2019
STATUS
approved