C_C_main.asv C_C_main.m correlation_int.m correlation_integral.m disjoint.m heaviside.m reconstitution.m