CAPD: : RedHom v2 - Homology Software Based on Reduction Algorithms

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.

[1]  A. Neumaier,et al.  Computer-assisted proofs , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[2]  P. Dlotko,et al.  The Efficiency of a Homology Algorithm based on Discrete Morse Theory and Coreductions , 2010 .

[3]  Marian Mrozek.  Index Pairs Algorithms , 2006, Found. Comput. Math..

[4]  Marian Mrozek,et al.  Čech Type Approach to Computing Homology of Maps , 2010, Discret. Comput. Geom..

[5]  P. Pilarczyk.  COMPUTER ASSISTED METHOD FOR PROVING EXISTENCE OF PERIODIC ORBITS , 1999 .

[6]  Marian Mrozek,et al.  Coreduction homology algorithm for inclusions and persistent homology , 2010, Comput. Math. Appl..

[7]  Marian Mrozek,et al.  $\mathbb{Z}_2$-homology of weak $(p-2)$-faceless $p$-pseudomanifolds may be computed in $O(n)$ time , 2012 .

[8]  Justin Koonin.  Topology of eigenspace posets for imprimitive reflection groups , 2014, J. Comb. Theory, Ser. A.

[9]  J. Craggs.  Applied Mathematical Sciences , 1973 .

[10]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[11]  Konstantin Mischaikow,et al.  Graph Approach to the Computation of the Homology of Continuous Maps , 2005, Found. Comput. Math..

[12]  M. Mrozek,et al.  Homology Computation by Reduction of Chain Complexes , 1998 .

[13]  K. Mischaikow,et al.  Chaos in the Lorenz equations: a computer-assisted proof , 1995, math/9501230.

[14]  Marian Mrozek,et al.  Coreduction Homology Algorithm , 2009, Discret. Comput. Geom..

[15]  Konstantin Mischaikow,et al.  Chaos in the Lorenz equations: A computer assisted proof. Part II: Details , 1998, Math. Comput..

[16]  P. Dlotko,et al.  Automatic generation of cuts on large-sized meshes for the T–Ω geometric eddy-current formulation , 2009 .

[17]  Pawel Dlotko,et al.  Coreduction Homology Algorithm for Regular CW-Complexes , 2011, Discret. Comput. Geom..

[18]  Paweł Dłotko,et al.  Computing The Cubical Cohomology Ring , 2010 .

[19]  S. Han,et al.  Homological methods for extraction and analysis of linear features in multidimensional images , 2012, Pattern Recognit..

[20]  Marian Mrozek,et al.  Homology algorithm based on acyclic subspace , 2008, Comput. Math. Appl..