在 \(\mathbb R^n\) 中按列向量输入基，精确计算向量坐标、两组基之间的过渡矩阵和坐标转换。默认约定 \(C=BP_{\mathcal B\to\mathcal C}\)。
只保留基判定、坐标、过渡矩阵和验证等式。