homology computation