基、坐标与过渡矩阵

面向有限维线性空间中基、坐标与过渡矩阵的常见计算。第一版处理 R^n 中由列向量给出的基，使用精确分数和 Gauss-Jordan 消元验证基并完成坐标转换。