#10963: More functorial constructions
-------------------------------------------------------------------------+--
Reporter: nthiery |
Owner: stumpc5
Type: enhancement |
Status: needs_work
Priority: major |
Milestone:
Component: categories |
Resolution:
Keywords: |
Work issues: Reduce startup time by 5%. Avoid "recursion depth exceeded
(ignored)". Trivial doctest fixes.
Report Upstream: N/A |
Reviewers: Simon King
Authors: Nicolas M. Thiéry |
Merged in:
Dependencies: #11224, #8327, #10193, #12895, #14516, #14722, #13589 |
Stopgaps:
-------------------------------------------------------------------------+--
Comment (by SimonKing):
Replying to [comment:51 SimonKing]:
> So, `FiniteFields().super_categories()`returns `[Fields(),
Rings().Commutative().Finite()]`. Do you think this answer makes sense?
Actually I'd like this answer more than the current answers.
Without your patch:
{{{
sage: FiniteFields().super_categories()
[Category of fields, Category of finite enumerated sets]
}}}
With your patch:
{{{
sage: FiniteFields().super_categories()
[Category of fields, Category of finite monoids]
}}}
It seems to me that
{{{
sage: FiniteFields().super_categories()
[Category of fields, Category of finite commutative rings]
}}}
would be more accurate.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10963#comment:52>
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/groups/opt_out.
