user_guide:chain_complex_homology