#6100: give a basis for homology and cohomology of chain complexes in terms of
given generators
----------------------------------+-----------------------------------------
Reporter: bantieau | Owner: jhpalmieri
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-4.3.4
Component: algebraic topology | Keywords:
Author: Shaun Ault | Upstream: N/A
Reviewer: John Palmieri | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Comment(by jhpalmieri):
Hi Shaun,
You should also look at ticket #8302, which now has a positive review and
so should be merged some time soon. You might want to base your patches
on that. In particular, you should look at how keywords are passed
between the various homology and chain complex methods, and you should
look at how the Sage interface to CHomP returns generators. Your patch
should be consistent with that (and you could add to the file
homology/tests.py -- added in #8302 -- to test that your patch and CHomP
produce compatible results).
Since you're just dealing with generators for chain complexes, I don't
know if it's worth putting a warning in the homology method for cell
complexes, or at least in the docstring: if someone asks for generators
and they don't have chomp installed, it will pass {{{generators=True}}} to
the homology method for chain complexes, and therefore will produce
something using your code, but it may not be what the user expects (since
it will be in terms of the chain complex, not the simplicial complex).
Probably a warning in the docstring is appropriate now, and in another
ticket, we can try to translate the chain complex information back to
simplicial complex information somehow.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6100#comment:5>
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.
