正文

如何用极大无关组表示其他向量