#8579: Add the categories of magmas and additive magmas
---------------------------------+------------------------------------------
Reporter: nthiery | Owner: nthiery
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.4
Component: categories | Keywords: categories, magma
Author: Nicolas M. Thiéry | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------------+------------------------------------------
Comment(by nthiery):
Replying to [comment:7 hivert]:
> From the category implementation point of view, everything looks fine
upto the
> following small problem which can be left for a future patch: the
> {{{SubQuotient}}} code in {{{Semigroups()}}} is sufficiently general to
work
> in magmas (computing product by lifting/retracting). It should be moved
in
> {{{Magmas()}}}.
Ah, right, I forgot to mention that. I decided to implement this moving in
the upcoming functorial construction patch instead, in order to avoid
potential conflicts between the two patches.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8579#comment:8>
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.
