[Aldor-l] [fricas-devel] SubsetCategory

[Bill Page]

Ralf,

On Thu, Dec 4, 2008 at 5:01 AM, you wrote:
> ...
> Are the files mentioned in
> http://www.mail-archive.com/open-axiom-devel@lists.sourceforge.net/msg00682.html
> the only place related to SubsetCategory?
>
> I wonder whether we could get rid of it. A grep of the algebra sources
> just yields 'fraction.spad.pamphlet'. Perhaps simply replacing
>
> 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?

Regards,
Bill Page.