OFFSET
1,3
COMMENTS
See A192232 for definition of "k-sequence of reduction of [sequence] by [substitution]".
MATHEMATICA
c[n_] := Floor[n*GoldenRatio]; (* Lower Wythoff sequence, A000201 *)
Table[c[n], {n, 1, 15}]
q[x_] := x + 1;
p[0, x_] := 1; p[n_, x_] := p[n - 1, x] + (x^n)*c[n + 1]
reductionRules = {x^y_?EvenQ -> q[x]^(y/2),
x^y_?OddQ -> x q[x]^((y - 1)/2)};
t = Table[
Last[Most[
FixedPointList[Expand[#1 /. reductionRules] &, p[n, x]]]], {n, 0,
30}]
Table[Coefficient[Part[t, n], x, 0], {n, 1, 30}] (* A192300 *)
Table[Coefficient[Part[t, n], x, 1], {n, 1, 30}] (* A192301 *)
(* by Peter J. C. Moses, Jun 20 2011 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Clark Kimberling, Jun 27 2011
EXTENSIONS
a(31)-a(36) (using the Mathematica code) from Pontus von Brömssen, Mar 03 2024
STATUS
approved