Closed a5044511-c4d7-49ce-acf4-06b1c0aef1de closed 11 years ago
Attachment: 13222.patch.gz
main patch, implementing generators
Doctest added
Attachment: 13223.patch.gz
Generators of homology now computable via generators=true option in the homology() method of chain_complex.
Known issues: If S is a simplicial complex, S.homology(generators=true) has not been directly implemented. Furthermore, S.chain_complex().homology(generators=true) computes the generators based on the order in which simplices are chosen for computing S.chain_complex() -- which is not guaranteed to be the same order in which simplices are listed in S.
Replying to @sagetrac-sault:
Thanks for working on this; I hope we can get it into shape soon, and then into Sage.
Known issues: If S is a simplicial complex, S.homology(generators=true) has not been directly implemented.
I know a good way to deal with this, and I'll eventually submit a patch on another ticket that takes care of it (as part of an implementation of cubical complexes and Delta-complexes, among other things).
Furthermore, S.chain_complex().homology(generators=true) computes the generators based on the order in which simplices are chosen for computing S.chain_complex() -- which is not guaranteed to be the same order in which simplices are listed in S.
I wonder what we can do to fix this. It might be a lot of work; I'm not sure. Maybe when we build the chain complex, modify the cached list of simplices of S? This is something to think about for another ticket, not this one.
There are three problems with this patch: the main one is that it doesn't work with field coefficients:
sage: T = simplicial_complexes.Torus()
sage: C = T.chain_complex()
sage: C.homology(base_ring=QQ, generators=True)
{0: Vector space of dimension 1 over Rational Field, 1: Vector space of dimension 2 over Rational Field, 2: (Vector space of dimension 1 over Rational Field, [ 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1])}
It only returns generators in dimensions where there is no incoming differential. When you fix this, add a doctest like
sage: T = simplicial_complexes.Torus()
sage: C = T.chain_complex()
sage: C.homology(1, base_ring=QQ, generators=True)
???
The second problem is the documentation: you should explain (briefly) the format of the output when "generators" is True: it's giving a matrix, and you should say exactly what this matrix represents.
The third issue is minor: the indentation in the docstrings is important, but you changed it, so it gives errors when producing the reference manual. The docstring itself also looks bad: from the notebook, define a chain complex C and evaluate "C.homology?" to see what the formatted docstring looks like. Or do browse_sage_doc(C.homology)
from the command line.
Author: Shaun Ault
Reviewer: John Palmieri
Replying to @jhpalmieri:
Thanks John, for reviewing this patch and for spotting the bugs/omissions. I'll be working on this today and I hope to get it up to speed soon.
-S
Replying to @sagetrac-sault:
Thanks for working on this; I hope we can get it into shape soon, and then into Sage.
Known issues: If S is a simplicial complex, S.homology(generators=true) has not been directly implemented.
I know a good way to deal with this, and I'll eventually submit a patch on another ticket that takes care of it (as part of an implementation of cubical complexes and Delta-complexes, among other things).
Furthermore, S.chain_complex().homology(generators=true) computes the generators based on the order in which simplices are chosen for computing S.chain_complex() -- which is not guaranteed to be the same order in which simplices are listed in S.
I wonder what we can do to fix this. It might be a lot of work; I'm not sure. Maybe when we build the chain complex, modify the cached list of simplices of S? This is something to think about for another ticket, not this one.
There are three problems with this patch: the main one is that it doesn't work with field coefficients:
sage: T = simplicial_complexes.Torus() sage: C = T.chain_complex() sage: C.homology(base_ring=QQ, generators=True) {0: Vector space of dimension 1 over Rational Field, 1: Vector space of dimension 2 over Rational Field, 2: (Vector space of dimension 1 over Rational Field, [ 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1])}
It only returns generators in dimensions where there is no incoming differential. When you fix this, add a doctest like
sage: T = simplicial_complexes.Torus() sage: C = T.chain_complex() sage: C.homology(1, base_ring=QQ, generators=True) ???
The second problem is the documentation: you should explain (briefly) the format of the output when "generators" is True: it's giving a matrix, and you should say exactly what this matrix represents.
The third issue is minor: the indentation in the docstrings is important, but you changed it, so it gives errors when producing the reference manual. The docstring itself also looks bad: from the notebook, define a chain complex C and evaluate "C.homology?" to see what the formatted docstring looks like. Or do
browse_sage_doc(C.homology)
from the command line.
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.
Attachment: trac_6100-basis_homology-ts.patch.gz
I've uploaded a patch which combines the two previous patches and hopefully addresses the issues you've mentioned.
For patchbot:
Apply: trac_6100-basis_homology-ts.patch
Description changed:
---
+++
@@ -1,3 +1,7 @@
Add functionality so that we can compute a basis for (co)homology in dimension n of a chain complex C_* in terms of a given basis for C_n.
This will use the patch #5882 of William Stein.
+
+---
+
+Apply: [attachment: trac_6100-basis_homology-ts.patch]
Dependencies: #5882
Changed reviewer from John Palmieri to John Palmieri, Volker Braun
Changed author from Shaun Ault to Shaun Ault, Travis Scrimshaw
Description changed:
---
+++
@@ -1,7 +1,3 @@
Add functionality so that we can compute a basis for (co)homology in dimension n of a chain complex C_* in terms of a given basis for C_n.
-This will use the patch #5882 of William Stein.
-
----
-
-Apply: [attachment: trac_6100-basis_homology-ts.patch]
+Apply: [attachment: trac_6100-basis_homology-ts.patch](https://github.com/sagemath/sage-prod/files/10644931/trac_6100-basis_homology-ts.patch.gz)
Looks good to me.
Merged: sage-5.11.beta0
See #30838 for a followup (not related to the Lie algebra question).
Add functionality so that we can compute a basis for (co)homology in dimension n of a chain complex C_* in terms of a given basis for C_n.
Apply: attachment: trac_6100-basis_homology-ts.patch
Depends on #5882
CC: @jhpalmieri @antieau
Component: algebraic topology
Author: Shaun Ault, Travis Scrimshaw
Reviewer: John Palmieri, Volker Braun
Merged: sage-5.11.beta0
Issue created by migration from https://trac.sagemath.org/ticket/6100