#6099: morphisms of simplicial complexes and the associated chain complex
morphisms
---------------------------------+------------------------------------------
Reporter: bantieau | Owner: bantieau
Type: enhancement | Status: needs_review
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 nthiery):
Replying to [comment:10 jhpalmieri]:
> >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?
Indeed.
{{{ChainComplexes.ParentMethods}}} is the class in the
{{{ChainComplexes}}} category containing the generic code that applies to
all parents in this category. That could be useful later on if there is
more than one implementation of such parents. No rush for now.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6099#comment:13>
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
-~----------~----~----~----~------~----~------~--~---
