假设您有带有 M 个参数的 N 个等式。任务是查找是否有解决方案。如果有，哪一个。如果还有更多解决方案，您如何描述它们？
示例：
1）x + y + z = 1
2）y + z = 4
矩阵形式：
（1 1 1 | 1）
（0 1 1 | 4）
C语言中的数组：
double arr[2][3] = { {1, 1, 1, 1}, {0, 1, 1, 4} };
预期的输出（可能的解决方案之一）：
（-3，2，2）+ {（-3，4-z，z）}
我能够使用“高斯消除”将矩阵转换为“ nice”形式，人类可以很容易地看到并计算解。但是，我坚持寻找期望的输出。
我有arr [N] [M]，代表“ nice”形式的矩阵。 （请注意，N不必等于M，因此可以有无限数量的溶液）。有任何算法来推导解决方案吗？
===============
编辑：矩阵位于row echelon form
中