On Tue, May 27, 2014 at 09:14:03PM +0200, Vincent Delecroix wrote:
> A module over ZZ is the same thing as an Abelian group. Why do we have
> two distinct categories ?
This issue is mentioned on http://trac.sagemath.org/wiki/CategoriesRoadMap.
So far, the two categories have not been merged for a
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
