chiark / gitweb /
rename subspace_dim to vector_storage, since not necessarily a subspace (and can...