Test for zero cup product
asked 2016-05-06 11:50:24 -0500
This post is a wiki. Anyone with karma >750 is welcome to improve it.
How can I check whether the cohomology ring H^*(X) of a simplicial complex X has zero cup product (like, say, for X a wedge of spheres). I have a long list of simplicial complexes, so I need a fully algorithmic approach. I probably should start with X.cohomology_ring(QQ) but I don't know what to do next...
Btw, I am a sage newbie.