find the Greatest Common Right Divisor of 2 differential operators
GCRD( f, g, domain)
list containing two names
For operators f and g there exists an operator R such that the solution space of R is the intersection of the solution spaces of f and g. This procedure finds this operator R. Like the gcd for polynomials, this R is a combination R=a⁢f+b⁢g for some operators a and b.
The argument domain describes the differential algebra. If this argument is the list Dt,t then the differential operators are notated with the symbols Dt and t. They are viewed as elements of the differential algebra C⁡t Dt where C is the field of constants.
If the argument domain is omitted then the differential specified by the environment variable _Envdiffopdomain will be used. If this environment variable is not set then the argument domain may not be omitted.
Download Help Document