Vector_space_basis loading ...