Re: [math-fun] What is a "k-vector"?