SymPy дает неправильный ответ простой линейной системе?

Question

Код

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, которая также дает тот же неправильный ответ.

Я что-то здесь упускаю?

Answer 1

По крайней мере, это соответствует. x1, поскольку оно не отображается в наборе уравнений, является константой, и если оба значения x0 и x2 равны этой константе, то первое уравнение будет выполнено. Результат из solve может быть предпочтительным:

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