1
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]);
2
CHAR(U(N+1)-U(N),(1/6)*N*(N-1)*(N-2)+N-1,U,N,1,[U(0)=1]);
3
CHAR(U(N+2)-2*U(N+1)+U(N),N**2,U,N,2,[U(0)=0,U(1)=1]);
4
GENF(U(N+2)-U(N),2**N,U,N,2,[U(0)=1,U(1)=0]);
5
CHAR(U(N+2)-4*U(N),3+2*N,U,N,2,[U(0)=1,U(1)=0]);
6
VARC1(U(N+1)-(N+1)*U(N),1,U,N,1,[U(0)=1]);
7
VARC2(U(N+1)-(N+1)*U(N),1,U,N,1,[U(0)=1]);
1
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]);
2
char(u(n+1)-u(n),(1/6)*n*(n-1)*(n-2)+n-1,u,n,1,[u(0)=1]);
3
char(u(n+2)-2*u(n+1)+u(n),n**2,u,n,2,[u(0)=0,u(1)=1]);
4
genf(u(n+2)-u(n),2**n,u,n,2,[u(0)=1,u(1)=0]);
5
char(u(n+2)-4*u(n),3+2*n,u,n,2,[u(0)=1,u(1)=0]);
6
varc1(u(n+1)-(n+1)*u(n),1,u,n,1,[u(0)=1]);
7
varc2(u(n+1)-(n+1)*u(n),1,u,n,1,[u(0)=1]);