Algorithms for Linear Ordinary Differential Operators

Jean Della Dora, Stephen M. Watt

We describe an implementation in Scratchpad II of linear ordinary differential operators over a differential ring, acting on a module equipped with a compatible derivation. The abs…