Singular_cohomology loading ...