Reduction algorithm for simplicial complexes.