Ore localization (source code)

= Ore localization
{c}

Ore localization extends localization to suitable multiplicative subsets of noncommutative rings.