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.

Reply via email to