Python 线性系统的辛问题求解

我使用的是运行在Jupyter控制台上的Python v.3.6。我试图在一个个人项目中使用Sympy在数据集上做一些线性代数，将预测与调查分数联系起来

本质上，我建立了一个增广矩阵，其中包含N=14个线性方程组和M=5个未知数，我正试图求解这个系统。我的问题是，当我在增广矩阵上使用solve_linear_system命令时，我的代码没有得到任何输出：

import sympy
from sympy import *
from sympy import Matrix, solve_linear_system
from sympy.abc import x, y, z, u, v
system = Matrix(((1,1,-1,0,0,1),(1,1,-1,0,0,2),(0,0,-1,0,-1,3),
(0,0,-1,0,-1,2),(0,0,0,1,0,1),(1,0,1,1,-1,2),(0,0,-1,0,-1,2),(1,0,1,0,0,1),
(1,1,1,0,1,3),(1,1,1,0,0,2),(-1,1,0,0,-1,3),(1,-1,-1,-1,0,2),(-1,1,1,1,-1,3),
(0,-1,0,0,0,2))) 
solve_linear_system(system, x, y, z, u, v)
>>

有人能解释一下可能出现的问题以及如何补救这种情况吗？我尝试过其他矩阵，它似乎也适用于它们，那么，我所要求的Sympy todo是否存在根本性的问题，或者它是一种方法？

---

多谢各位

原因是参考文献中没有针对增强系统的解决方案。
（可能约束太多，您可以尝试通过消除一些多余的方程式来放松约束）

---

如果你盯着矩阵看一会儿，你会发现有不相容的方程，例如，第2行和第3行：（0,0，-1,0，-1,3），（0,0，-1,0，-1,2），或者第0行和第1行：（1,1，-1,0,0,1），（1,1，-1,0,2）。也可能有多余的。

感谢您及时的回复，但我尝试了7个等式（最后一个值不等于2的等式），但仍然没有输出，除此之外，还担心一些信息丢失。但是，如果这是唯一的解决方案，我可以考虑更多地考虑它。如果你盯着你的矩阵一会儿，你会发现有不相容的等式，例如，行2和3：<代码>（0，0，-1,0，-1,3），（0，0，-1,0，-1,2）< /代码>，或行0和1：<代码>（1，1，-1，0，0，1），（1，1，-1，0，0，2）< /代码>。也可能有多余的。对，这是有道理的。然而，如果我也尝试了所有方程，不包括那些等于2的方程，它还能够找到一个解吗？呃，nvm，我意识到不同的方程有相似的答案，所以实际上，即使是3，也可能没有解。也许我需要尝试不同的策略。