ore_algebra @ git+https://github.com/mkauers/ore_algebra
