|A, B||Differential operator|
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 differential equations
we look for solutions of their greatest right common divisor as follows:
1 --> L1 := D^3 - D^2 - x*D + x; 2 --> L2 := D^2 + (x-1)*D - x; 3 --> L := rightGcd(L1, L2); 4 --> tex(L);
This means that the solutions of the system (8)-(9) are of the form for any constant .
leftGcd, leftLcm, rightLcm