#6099: morphisms of simplicial complexes and the associated chain complex
morphisms
---------------------------------+------------------------------------------
Reporter: bantieau | Owner: bantieau
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.3
Component: algebraic topology | Resolution:
Keywords: | Work_issues:
Author: D. Benjamin Antieau | Reviewer: John Palmieri
Merged: sage-4.3.alpha0 |
---------------------------------+------------------------------------------
Comment(by jhpalmieri):
Replying to [comment:9 nthiery]:
> Sorry for the conflict. Rebasing the patch should be fairly easy. I
suspect that the change to category_types can simply be discarded.
Okay, that's easy enough.
>As for the change in homset.py: I have removed this ugly run time type
checking there. Instead, Hom(X, Y) looks for a method X._Hom_, and calls
it if it exists. This _Hom_ method could typically be implemented in
ChainComplexes.ParentMethods to achieve the current effect.
I'm not sure what {{{ChainComplexes.ParentMethods}}} means, but we can
just define, within the class {{{ChainComplex}}}, a method {{{_Hom_(self,
other)}}}, right?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6099#comment:10>
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
-~----------~----~----~----~------~----~------~--~---
