OreTools

OreTools: a computer algebra library for univariate ore polynomial rings. This document presents the OreTools package which provides tools for performing basic arithmetic in Ore algebra. These tools can be used as a basis for various well-known algorithms in Ore algebra, in particular in differential and difference algebras.