|A, B||Difference operators|
rightGcd(A, B) returns such that , , and every other exact right divisor of and is a right divisor of , while rightGcd(p, q) returns .
To look for closed-form common solutions of the difference equations
we look for solutions of their greatest right common divisor as follows:
1 --> L1 := E^3-(n+4)*E^2+2*E+n^2+n; 2 --> L2 := E^2-(n+4)*E+2*n+2; 3 --> L := rightGcd(L1, L2); 4 --> tex(L);
This means that the solutions of the system (5)-(6) are of the form for any constant .
leftGcd, leftLcm, rightLcm