Skip to Main content Skip to Navigation

Constructive Mayer-Vietoris Algorithm: Computing the Homology of Unions of Simplicial Complexes

Dobrina Boltcheva 1 Sara Merino Aceitunos 1 Jean-Claude Léon 1, 2 Franck Hétroy 1
1 EVASION - Virtual environments for animation and image synthesis of natural objects
Inria Grenoble - Rhône-Alpes, LJK [2007-2015] - Laboratoire Jean Kuntzmann [2007-2015], Grenoble INP [2007-2019] - Institut polytechnique de Grenoble - Grenoble Institute of Technology [2007-2019]
2 G-SCOP_SIREP [?-2015] - Système d’Information, conception RobustE des Produits [?-2015]
G-SCOP [2006-2015] - Laboratoire des sciences pour la conception, l'optimisation et la production [2006-2015]
Abstract : In this research report, we present an efficient method for computing the homology of a large simplicial complex from the homologies of its sub-complexes. The method uses a constructive version of the Mayer-Vietoris exact sequence which is an algebraic tool relating the homology of a topological space to the homologies of its sub-spaces and their intersection. The method starts by decomposing the input simplicial complex into smaller sub-complexes, for which the homology is computable with the Smith Normal Form reduction algorithm. Then, the method uses the Mayer-Vietoris sequence on the decomposition graph and computes the homology of the input complex by recursive unions of the homological attributes of the sub-complexes. The proposed method outputs all homological attributes (Betti numbers, torsion coefficients and generators) and may be applied to any kind of finite simplicial complexes (manifold/non-manifold, orientable or not, embeddable or not, with heterogeneous dimensionality, etc.)
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download
Contributor : Dobrina Boltcheva <>
Submitted on : Friday, December 3, 2010 - 12:33:29 PM
Last modification on : Friday, July 17, 2020 - 2:34:12 PM
Long-term archiving on: : Monday, November 5, 2012 - 11:16:11 AM


Publisher files allowed on an open archive


  • HAL Id : inria-00542717, version 1


Dobrina Boltcheva, Sara Merino Aceitunos, Jean-Claude Léon, Franck Hétroy. Constructive Mayer-Vietoris Algorithm: Computing the Homology of Unions of Simplicial Complexes. [Research Report] RR-7471, INRIA. 2010. ⟨inria-00542717⟩



Record views


Files downloads