fork(6) download
  1. T831(n)=
  2. {
  3. my(s=Mod(2*polchebyshev(12,1,2),8*3^n-1));
  4. for(i=1,n-1, s=s^3-3*s);
  5. s==4
  6. }
Success #stdin #stdout #stderr 0s 9328KB
stdin
T831(10)
stdout
1
stderr
  ***   Warning: can't expand ~.
  ***   Warning: can't expand ~.