Does anybody know the current state-of-the-art in sage to compute with finitely generated Z-modules (i.e., finitely generated abelian groups)? The operations I would be looking for are - sums, intersections and quotients of/by submodules - homomorphisms between Z-modules - computing kernel and image of a homomorphism as submodules - computing images and pre-images of elements under homomorphisms The categories AbelianGroup (which is multiplicative but still describes as isomorphic to something that is written additively) and AdditiveAbelianGroup do not seem to have homomorphisms implemented for them ...
-- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
