>> Localize(M:Module R, >> R:CommutativeRing, >> S:SubsetCategory(Monoid, R)): Module R with >> >> ... > > Do you know if any domain constructor like 'Localize' has ever been > implemented in the Aldor libraries? Let's look... No. No Localize and nothing that looks similar. Fraction is implemented directly. Ralf