#9773: Abelian groups
-------------------------------+--------------------------------------------
Reporter: rbeezer | Owner: AlexGhitza
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-5.3
Component: algebra | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Rob Beezer | Merged in:
Dependencies: | Stopgaps:
-------------------------------+--------------------------------------------
Comment (by rbeezer):
I keep plugging away at this. Some improvement by exploiting category
code. Totally reworked, so most of my comments above are obsolete.
Draft 4 patch is very functional, with the following caveats that I cannot
figure out. Assistance greatly appreciated if you can provide advice or
specific pointers. There is quite a bit of functionality demonstrated in
the module-level doctests. Little or no error-checking yet.
1. `_element_constructor()` works fine with module elements, which is
to be expected, since it is copied verbatim from there. I cannot seem to
make it accept reasonable elements of the parent of the generators for
subsequent processing without totally breaking extensive doctests.
1. The multiplicative version does not pass the `TestSuite` framework.
Likely the implementation of multiplicative operators on top of an
additive class (FGP modules) is to blame?
I've tried to add copious comments to make it easier to navigate the code.
More specific problem areas are flagged with `*PROBLEM*`.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9773#comment:14>
Sage <http://www.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.
