#17160: Finitely generated axiom for (mutiplicative) magmas, semigroups,
monoids,
groups
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: | Merged in:
Authors: Nicolas M. Thiéry | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/nthiery/categories/finitely- | f027ce2b5e1abe22d49bcdc96f2cfeebced8fc16
generated-magmas-17160 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by tscrim):
* commit: => f027ce2b5e1abe22d49bcdc96f2cfeebced8fc16
Comment:
I know this isn't set for review yet, but just to note that a finite magma
is automatically finitely generated. So I think we should have this
reflected in the category structure; in particular, so we don't have lines
like this:
{{{
Parent.__init__(self, category =
Semigroups().Finite().FinitelyGenerated())
}}}
If you need someone to review it, just let me know when this is ready.
----
Last 10 new commits:
||[http://git.sagemath.org/sage.git/commit/?id=d5d3a97fcfbf3d2316d8096681c39da2996b8096
d5d3a97]||{{{10668: improved description of the HomsetsOf class}}}||
||[http://git.sagemath.org/sage.git/commit/?id=5416ba0a866806b9746fd0e46c3888f2c308e73a
5416ba0]||{{{Add a note on the MRO used for
Homset._abstract_element_class}}}||
||[http://git.sagemath.org/sage.git/commit/?id=23639a9288bdca85482a93ed029b3d1390309141
23639a9]||{{{Fix more typos}}}||
||[http://git.sagemath.org/sage.git/commit/?id=02a6a8a4a5984881a12198ed86a4e8cb7ab8c899
02a6a8a]||{{{10668: fixed representation of the category of endsets}}}||
||[http://git.sagemath.org/sage.git/commit/?id=477d381a90f7fbb059b3689d618e50de5f884821
477d381]||{{{10668: Homsets.Endset.super_category -> extra_super_category
+ documentation}}}||
||[http://git.sagemath.org/sage.git/commit/?id=877bfdb215628b19c44a66d14ceee54824beaf14
877bfdb]||{{{10668: fix: Modules.EndCategory -> Modules.Homsets.Endset +
made it functional: endsets of modules are algebras}}}||
||[http://git.sagemath.org/sage.git/commit/?id=f86824ea354a5260b2ee0b8f24f239c8b5178bdd
f86824e]||{{{10668: documentation for HomsetsCategory.category_of + fixed
typo in doctest nearby}}}||
||[http://git.sagemath.org/sage.git/commit/?id=787f461ff097e860f21ebf990f67e74185f84d53
787f461]||{{{10668: proofreading of Homsets.category_of}}}||
||[http://git.sagemath.org/sage.git/commit/?id=5f9668657eb1d04b9acf90afe1ee38ff84807b75
5f96686]||{{{17160: Merge branch 'categories/morphism-methods-10668'}}}||
||[http://git.sagemath.org/sage.git/commit/?id=f027ce2b5e1abe22d49bcdc96f2cfeebced8fc16
f027ce2]||{{{17610: first draft of finitely generated axiom for
magmas/groups/axioms}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/17160#comment:6>
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.
