Usage
rightGcd(A, B)
rightGcd(p, q)
Parameter | Type | Description |
---|---|---|
A, B |
![]() |
Difference operators |
p, q |
![]() |
Polynomials |
Returns
rightGcd(A, B) returnssuch 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 formfor any constant
.
See Also
leftGcd, leftLcm, rightLcm