Define WL(x) and WU(x) to be respectively the characteristic functions of the lower (A000201) and upper (A001950) Wythoff sequences:
* WL(x) = 1 + x + x^3 + x^4 + x^6 + x^8 + x^9 + x^11 +...+ x^[n*phi] +...
* WU(x) = 1 + x^2 + x^5 + x^7 + x^10 + x^13 + x^15 +...+ x^[n*(phi+1)] +...
then the g.f. of A179319 is the product:
* WL(-x)*WU(x) = 1 - x + x^2 - 2*x^3 + x^4 + x^6 + x^7 + x^10 - x^11 + x^12 + x^13 + x^14 + 2*x^15 +...+ A179319(n)*x^n +...
in which it is conjectured that the following holds:
* A179319(A059973(4n-1)-1) = -(2n-1) for n>=1;
* A179319(A059973(4n)-1) = -(2n) for n>=1.
|