Thanks for your speedy reply, John! I have a follow-up question. For some
cycle representing a homology class, is there a function that expresses it
as a linear combination of the basis in the CohomologyRing?
The reason I'm interested in this is that I have a group acting on my space
and want
If you're willing to work with field coefficients, there is the method
"homology_with_basis":
sage: T = simplicial_complexes.Torus()
sage: H = T.homology_with_basis()
sage: H
Homology module of Minimal triangulation of the torus over Rational Field
sage: H.basis()
Finite family {(2, 0): h_{2,0},