CAPD::RedHom - Reduction heuristics for homology algorithms
Mateusz Juda, Marian Mrożek · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 2015
We present an efficient software package for computing homology of sets, maps and filtrations represented as cubical, simplicial and regular CW complexes. The core homology computation is based on classical Smith diagonalization, but the efficiency of our approach comes from applying several geometric and algebraic reduction techniques combined with smart implementation.