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@.../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.
_______________________________________________
Aldor-l mailing list
Aldor-l@...
http://aldor.org/mailman/listinfo/aldor-l_aldor.org
