An example of a factorization over Q(x)[DF]
An matrix differential equation
An other matrix differential equation
Factor the 4'th symmetric power of the Hurwitz equation with diffop. (this one takes quite a bit of computation time).
Use the eigenring to compute an LCLM factorization of a completely reducible operator. (this one requires some patience as well).