#6449: Additive abelian groups
---------------------------+------------------------------------------------
Reporter: davidloeffler | Owner: joyner
Type: defect | Status: new
Priority: major | Milestone: sage-feature
Component: group_theory | Keywords:
Reviewer: | Author:
Merged: |
---------------------------+------------------------------------------------
This is the results of the Abelian groups project at SD16. This is not
really finished, but I am going to be pretty busy for the next few weeks
so I am posting it here anyway in the hope that somebody else will chip in
and finish it off.
This relies on all of the patches at #5882.
The new functionality:
- A new class for additive abelian groups. This is very similar to the
finitely presented modules class, but with a slightly different print
representation. This is mostly finished (although the string
representation of morphisms needs a little work).
- A class for "additive abelian groups embedded in an arbitrary parent".
Think rational points on an elliptic curve, for instance, which should be
able to derive from this class and transparently inherit code for things
like morphisms and subgroups. This is a lot less complete.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6449>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
