A255290 - OEIS

%I #5 Feb 21 2015 15:09:01

%S 0,4,9,4,32,36,9,84,96,4,32,84,32,256,288,36,336,420,9,84,216,84,672,

%T 744,96,852,1197,4,32,84,32,256,336,84,672,852,32,256,672,256,2048,

%U 2304,288,2352,2544,36,336,864,336,2688

%N Number of 2's in expansion of F^n mod 3, where F = 1/(x*y)+2/y+x/y+2/x+2*x+y/x+2*y+x*y.

%C A255289 and A255290 together are a second mod 3 analog of A160239.

%e The pairs [no. of 1's, no. of 2's] are [1, 0], [4, 4], [12, 9], [4, 4], [32, 32], [48, 36], [12, 9], [84, 84], [117, 96], [4, 4], [32, 32], [84, 84], [32, 32], [256, 256], [300, 288], [48, 36], [336, 336], [324, 420], [12, 9], [84, 84], [225, 216], [84, 84], [672, 672], [792, 744], [117, 96], [852, 852], [876, 1197], ...

%p # C3 Counts 1's and 2's

%p C3 := proc(f) local c,ix,iy,f2,i,t1,t2,n1,n2;

%p f2:=expand(f) mod 3; n1:=0; n2:=0;

%p if whattype(f2) = `+` then

%p t1:=nops(f2);

%p for i from 1 to t1 do t2:=op(i, f2); ix:=degree(t2, x); iy:=degree(t2, y);

%p c:=coeff(coeff(t2,x,ix),y,iy);

%p if (c mod 3) = 1 then n1:=n1+1; else n2:=n2+1; fi; od: RETURN([n1,n2]);

%p else ix:=degree(f2, x); iy:=degree(f2, y);

%p c:=coeff(coeff(f2,x,ix),y,iy);

%p if (c mod 3) = 1 then n1:=n1+1; else n2:=n2+1; fi; RETURN([n1,n2]);

%p fi;

%p end;

%p F2:=1/(x*y)+2/y+x/y+2/x+2*x+y/x+2*y+x*y mod 3;

%p g:=(F,n)->expand(F^n) mod 3;

%p [seq(C3(g(F2,n))[2],n=0..60)];

%Y Cf. A160239, A255287-A255294.

%K nonn

%O 0,2

%A _N. J. A. Sloane_, Feb 21 2015