Hello, That's interesting, I asked myself exactly the same question in relation to <http://trac.sagemath.org/ticket/16402>.
Something like this does work correctly for modules over a field: sage: Modules(QQ) Category of vector spaces over Rational Field I was wondering if it would be easy to similarly make the following work: sage: Modules(ZZ) Category of commutative additive groups Peter Op dinsdag 27 mei 2014 20:14:06 UTC+1 schreef vdelecroix: > > Hi, > > A module over ZZ is the same thing as an Abelian group. Why do we have > two distinct categories ? > > More concretely, I want to implement a function that takes any finite > Abelian group as input ? So my test would looks like > > def f(A): > assert A in CommutativeAdditiveGroups().Finite() > > or > > def f(A): > assert A in Modules(ZZ).Finite() > > Is there a preference ? Is there a way to merge Modules(ZZ) and > CommutativeAdditiveGroups() ? > > Vincent > -- 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.
