SymPy 对简单线性系统给出错误答案？

【问题标题】：SymPy gives wrong answer to a simple linear system?SymPy 对简单线性系统给出错误答案？
【发布时间】：2019-10-18 00:09:35
【问题描述】：

代码是

from sympy import *
x = symbols('x0:5')
linsolve([x[0]-x[2], x[4]-x[3]], x)

这应该给出类似的东西

(x2, x1, x2, x4, x4)

作为答案，但它给出了

(x1, x1, x2, x4, x4)

我还尝试了 live.sympy.org 在线 shell，它也给出了同样的错误答案。

我错过了什么吗？

【问题讨论】：

【解决方案1】：

至少它是一致的。 x1，因为它没有出现在方程组中，所以它就像一个常数，如果 x0 和 x2 都等于该常数，那么将满足第一个方程。 solve 的结果可能是首选：

>>> solve([x[0]-x[2], x[4]-x[3]], x)
{x3: x4, x0: x2}

【讨论】：