#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 nthiery):
Replying to [comment:8 mhansen]:
> I had to back this out for now due to conflicts with the category code.
I'll look at readding this once those patches are merged.
Hi Benjamin,
Sorry for the conflict. Rebasing the patch should be fairly easy. I
suspect that the change to category_types can simply be discarded. 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.
Good luck, and feel free to bug me.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6099#comment:9>
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
-~----------~----~----~----~------~----~------~--~---
