Hi Nicolas, On 2014-05-28, Nicolas M. Thiery <nicolas.thi...@u-psud.fr> wrote: > So far, the two categories have not been merged for a stupid > bootstrapping reason: to construct Modules(ZZ), we need to construct > ZZ. To construct ZZ, an abelian group, we need to construct the > category CommutativeAdditiveGroups(). So if the latter is an alias for > Modules(ZZ), we are stuck.
Are you sure that this is a problem? In order to construct ZZ, we need CommutativeAdditiveGroups()---which is already there. Now, someone does Modules(ZZ)---and of course we can make it so that it returns CommutativeAdditiveGroups(). In other words, the suggestion is that Modules(ZZ) returns CommutativeAdditiveGroups(), not the other way around. Cheers, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
