Usage
rightGcd(A, B)
rightGcd(p, q)
Parameter | Type | Description |
---|---|---|
A, B | Difference operators | |
p, q | Polynomials |
Returns
rightGcd(A, B) returns such that , , and every other exact right divisor of and is a right divisor of , while rightGcd(p, q) returns .
Example
To look for closed-form common solutions of the difference equations
and
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 .
See Also
leftGcd, leftLcm, rightLcm