Usage
sections(f, m)
Parameter | Type | Description |
---|---|---|
L | A difference operator | |
m | A positive integer |
Returns
Returns of minimal orders such that for any solution of , the sequences for satisfy .
Example
The -sections of
are computed as follows:
1 --> L := (n+2)*(n^5+2*n^4+n^3-1)*E^2 + (n+1)*(5*n^2+8*n+4)*E - n^2 * (n^5+7*n^4+19*n^3+25*n^2+16*n+3); 2 --> L2 := sections(L,2); 3 --> tex(L2);
Those turn out to have hypergeometric solutions, which yields a Liouvillian solution of :
4 --> tex(hyper(element(L2,1)));
5 --> tex(hyper(element(L2,2)));