|L||A difference operator|
|A||A matrix of fractions|
eigenring(L) returns a basis of the eigenring of L, i.e.the set of operators of order strictly less than the order of L and such that for some operator S.
eigenring(A) returns an by matrix such that for a basis of the eigenring of , i.e. the set of matrices such that .
We compute the eigenring of the difference equation
1 --> L := E^2-2*n*(n+1); 2 --> e := eigenring(L); 3 --> tex(e);
Usage within MAPLE
When using eigenring(A,D,x) from inside MAPLE, the matrix returned from SHASTA is transformed into the array of matrices .