Direct_sum_of_vector_spaces loading ...