Ore_algebra.mws