#dimension of subspace