RedHom is a software library for efficient computation of the homology of sets. The library implements algorithms based on geometric and algebraic reduction methods: acyclic subspace construction, elementary reductions and coreductions and discrete Morse theory. Reduction methods are applied to speed up the classical Smith diagonalization method, which is unsatisfactorily slow for large inputs due to is cubical complexity. RedHom may be used to compute Betti numbers, torsion coefficients, homology generators, persistence intervals and maps induced in homology. The library is based on C++ templates. This allows us to have one efficient implementation of several reduction methods and use it for various complexes, in particular cubical complexes and simplicial complexes. The library is oriented on users who just need ready-to-use stand-alone programs as well as programmers who need to use homology algorithms in their own programs. RedHom originated from research in rigorous numerics of dynamical systems based on topological methods. In particular, RedHom constitutes a part of CAPD (Computer Assisted Proofs in Dynamics) project. We decided to make RedHom available also as a seperate library, because the area of its applicability turned out to go far beyond the original project.
Keywords for this software
References in zbMATH (referenced in 12 articles , 1 standard article )
Showing results 1 to 12 of 12.
- Adiprasito, Karim A.; Benedetti, Bruno; Lutz, Frank H.: Extremal examples of collapsible complexes and random discrete Morse theory (2017)
- Gonzalez-Lorenzo, Aldo; Bac, Alexandra; Mari, Jean-Luc; Real, Pedro: Allowing cycles in discrete Morse theory (2017)
- Gonzalez-Lorenzo, Aldo; Juda, Mateusz; Bac, Alexandra; Mari, Jean-Luc; Real, Pedro: Fast, simple and separable computation of Betti numbers on three-dimensional cubical complexes (2016)
- Zeppelzauer, Matthias; Zieliński, Bartosz; Juda, Mateusz; Seidl, Markus: Topological descriptors for 3D surface analysis (2016)
- Brendel, Piotr; Dłotko, Paweł; Ellis, Graham; Juda, Mateusz; Mrozek, Marian: Computing fundamental groups from point clouds (2015)
- Edelsbrunner, Herbert; Jabłoński, Grzegorz; Mrozek, Marian: The persistent homology of a self-map (2015)
- Benedetti, Bruno; Lutz, Frank H.: Random discrete Morse theory and a new library of triangulations (2014)
- Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
- Joswig, Michael; Lutz, Frank H.; Tsuruga, Mimi: Heuristics for sphere recognition (2014)
- Juda, Mateusz; Mrozek, Marian: CAPD::RedHom v2 -- homology software based on reduction algorithms (2014)
- Kaczynski, Tomasz; Mrozek, Marian: The cubical cohomology ring: an algorithmic approach (2013)
- Dłotko, P.; Ghrist, R.; Juda, M.; Mrozek, M.: Distributed computation of coverage in sensor networks by homological methods (2012)