ore_algebra: Ore algebra¶
A Sage implementation of Ore algebras, Ore polynomials, and differentially finite functions.
Main features for the most common algebras include basic arithmetic and actions; gcrd and lclm; D-finite closure properties; creative telescoping; natural transformations between related algebras; guessing; desingularization; solvers for polynomials, rational functions and (generalized) power series. Univariate differential operators also support the numerical computation of analytic solutions with rigorous error bounds and related features.
Sage accounts: mkauers, mmezzarobba