The question concerns how to compute a
K-basis of the group homology of a simplicial complex. Using the command prune homology in Macaulay2, I can compute the homology groups, but I do not know how to extract the corresponding generating cycles.
Example
Consider the oriented simplcial S complex generated by the facets set:
{ [5,6,7,8],[3,6,7,8],[3,4,7,8],[3,4,5,8],[3,4,5,6],[1,6,7,8],[1,4,7,8],[1,4,5,8],[1,4,5,6],[1,2,7,8],[1,2,5,8],[1,2,5,6],[1,2,3,8],[1,2,3,6],[1,2,3,4] }
- Running prune homology S in Macaulay2 returns:
o11 = -1 : 0
0 : 0
1 : 0
4
2 : QQ
3 : 0
This tells me that the second homology group H2(S;Q) is 4-dimensional. However, I do not know how to extract a basis of explicit cycles corresponding to this homology.
In SageMath, I was able to compute a basis of H2 and obtained the following generating 2-cycles:
c1 = [3, 4, 6]-[3, 4, 8]+[3, 6, 8]+[4, 5, 6]-[4, 5, 8]-[5, 6, 8]
c2 = [1, 4, 6]-[1, 4, 8]+[1, 6, 8]+[4, 5, 6]-[4, 5, 8]-[5, 6, 8]
c3 = [1, 3, 6]-[1, 3, 8]+[1, 6, 8]-[3, 6, 8]
c4 = [1, 2, 4]-[1, 2, 8]+[1, 4, 8]+[2, 3, 4]-[2, 3, 8]-[3, 4, 8]
Question. Is there a way in Macaulay2 to obtain the same kind of output — i.e., explicit generators of the homology group H2 — similar to what I get in SageMath?