Commit 2023-12-27 05:26 9623806f
View on Github →feat(Algebra/Homology): API for the computation of the homology of homological complexes (#8845)
This PR introduces more homology API in order to ease the computation of group cohomology in low degrees #8802. The main definition HomologicalComplex.homologyIsoSc' : K.homology j ≅ (K.sc' i j k).homology relates the homology of a complex K in degree j to the homology of a short complex K.X i ⟶ K.X j ⟶ K.X k when i and k are degrees which appear respectively before j and after j.