Dimension_(vector_space) loading ...