如何在Julia中执行行约简并保留分数形式的结果？

要让高斯消元的结果以分数而非浮点数形式输出，核心是让矩阵元素以**有理数类型（Rational）**存储，避免计算过程中自动转为浮点数。以下是具体修改方案：

方法说明 #

你原代码中的整数矩阵会被rref自动转换为浮点数类型计算。改用Rational{Int}类型存储矩阵元素后，RowEchelon包的rref函数会保持精确的分数运算，输出自然就是分数形式。

修改后的代码 #

using RowEchelon

# 直接定义有理数类型的矩阵
A = Rational{Int}[1 2 3;
                  4 5 6;
                  7 8 10]

# 执行行约简
A_reduced = rref(A)

# 打印结果
println(A_reduced)

也可以先定义整数矩阵，再转换为有理数类型：

using RowEchelon

A = [1 2 3; 4 5 6; 7 8 10]
# 将整数矩阵转换为有理数矩阵
A_rational = convert(Matrix{Rational{Int}}, A)

A_reduced = rref(A_rational)
println(A_reduced)

输出示例 #

运行上述代码后，行约简矩阵的输出为：

3×3 Matrix{Rational{Int64}}:
 1//1  0//1  -1//1
 0//1  1//1   2//1
 0//1  0//1   1//1

额外提示 #

如果矩阵中包含非整数元素，直接用分数形式（比如1//2代替0.5）输入，同样能保持全程精确的分数运算，避免浮点精度损失。

内容的提问来源于stack exchange，提问作者GPWR