基底表示向量类型题