Graded_vector_space