fast_semigroup_homology
