share/algebra/recur.dem

   1 load("recur.mac");
   2 (declare(n, integer),
   3   matchdeclare(nn, lambda([e], symbolp(e) and featurep(e, integer))),
   4   tellsimpafter('binomial(nn, nn), 1),
   5   'done)$
   6
   7 char(u(n+3)+6*u(n+2)+12*u(n+1)+8*u(n),0,u,n,3,[u(0)=1,u(1)=-2,u(2)=8]);
   8 char(u(n+1)-u(n),(1/6)*n*(n-1)*(n-2)+n-1,u,n,1,[u(0)=1]);
   9 char(u(n+2)-2*u(n+1)+u(n),n**2,u,n,2,[u(0)=0,u(1)=1]);
  10 genf(u(n+2)-u(n),2**n,u,n,2,[u(0)=1,u(1)=0]);
  11 char(u(n+2)-4*u(n),3+2*n,u,n,2,[u(0)=1,u(1)=0]);
  12 varc1(u(n+1)-(n+1)*u(n),1,u,n,1,[u(0)=1]);
  13 varc2(u(n+1)-(n+1)*u(n),1,u,n,1,[u(0)=1]);