#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:47 nthiery]:
> The reason to call "join" is indeed to get the correct supercategories
> for {{{C.MyAxiom()}}}. Note that, on the other hand and unless I
> screwed up somewhere, there should be no {{{JoinCategory}}} produced
> (unless of course the end result of {{{C.MyAxiom()}}} itself is such a
> {{{JoinCategory}}}).
Really? So, then I was mislead by a couple of doctests that demonstrate
that a certain category is in fact a join category, even though it is not
printed as such, and also mislead by the code that uses
`self._with_axiom_categories(...)`, which I thought does in fact form a
join.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10963#comment:49>
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.
