|L||A difference operator of order at most 3|
Returns either L, in which case L is completely reducible, or a right Loewy decomposition where and each is a completely reducible right-factor of maximal order of .
We compute the Loewy decomposition of the difference equation
1 --> L := E^3-n*E^2+(3*n^2+9*n+6)*E-3*n^3-3*n^2; 2 --> v := Loewy(L); 3 --> tex(v);
This means that the operator of (4) factors as
where the second-order factor is a completely reducible right-factor of maximal order. Note that is is reducible in this example:
4 --> w := decompose(element(v,2)); 5 --> tex(w);
which means that is a least common left multiple of and .