Revision history [back]

Following the documentation on Commutative Differential Graded Algebras, I have defined a differential graded algebra $C$. I have some element $x \in C$, in degree $4$. I can get a basis for the cohomology at degree 4 by

C.cohomology(4)

and generators for cocycles and coboundaries by

C.cocycles(4)
C.coboundaries(4)

How do I check if $x$ is a cocycle, and if it is, what it is in terms of the basis of the cohomology above?

I'm not sure I used the right tags, feel free to edit.