#12876: Fix element and parent classes of Hom categories to be abstract, and
simplify the Hom logic.
--------------------------------------------------------+-------------------
Reporter: nthiery | Owner:
nthiery
Type: enhancement | Status:
needs_review
Priority: major | Milestone:
sage-5.1
Component: categories | Resolution:
Keywords: categories, Hom | Work issues: Fix
ring_refcount_dict problem
Report Upstream: N/A | Reviewers: Simon
King
Authors: Nicolas M. Thiéry | Merged in:
Dependencies: #715, #11521, #12875, #12877, #12215 | Stopgaps:
--------------------------------------------------------+-------------------
Comment (by nthiery):
Replying to [comment:17 SimonKing]:
> Do I understand correctly: If Hom receives None as category, then you
determine the category as the meet of the categories of domain and
codomain, and call Hom again. Did you test that the calling overhead does
not matter?
I did not test it. But it simplifies quite much the logic and the calling
overhead occurs only for the first call, so I assumed it was negligible.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12876#comment:25>
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.
