Can kenzo compute cohomology groups? Moreover, can it provide generators for a cohomology, and compute the cup product (and further cohomological operations) for them?
Can kenzo compute cohomology groups?
Moreover, can it provide generators for a cohomology, and compute the cup product (and further cohomological operations) for them?