#17160: Finitely generated axiom for (mutiplicative) magmas, semigroups,
monoids,
groups
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-6.6
Component: categories | Resolution:
Keywords: days64 | Merged in:
Authors: Nicolas M. ThiƩry | Reviewers: Travis Scrimshaw
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/categories/finitely_generated_magma-17160|
19ceb8124d27ba0124fb08a232c05924bb7114b0
Dependencies: #10668 #15852 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tscrim):
* status: needs_work => positive_review
* commit: 975c008ade2bc70319c286d9eb09eacdc75cafed =>
19ceb8124d27ba0124fb08a232c05924bb7114b0
* dependencies: #10668 => #10668 #15852
* branch: u/nthiery/categories/finitely-generated-magmas-17160 =>
public/categories/finitely_generated_magma-17160
Comment:
Trivial rebase.
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=dbadd6a6c65a3700fc9bb4dec6ab8534a5f10d63
dbadd6a]||{{{15852: uncouple Sequence from categories}}}||
||[http://git.sagemath.org/sage.git/commit/?id=1f9c338257b8b551acb3038aae7014ad8c2abaa8
1f9c338]||{{{Merge branch 'develop' into t/15852/15852}}}||
||[http://git.sagemath.org/sage.git/commit/?id=6b12bda32fbe8a146fbfc546b84a8671aa93b8bd
6b12bda]||{{{Merge branch 'u/rws/15852' of trac.sagemath.org:sage into
public/categories/finitely_generated_magma-17160}}}||
||[http://git.sagemath.org/sage.git/commit/?id=19ceb8124d27ba0124fb08a232c05924bb7114b0
19ceb81]||{{{Merge branch 'u/nthiery/categories/finitely-generated-
magmas-17160' of trac.sagemath.org:sage into
public/categories/finitely_generated_magma-17160}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/17160#comment:30>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.