sympy 的求解方程命令 != 0

bij*_*jan 3 sympy

正如我在 sympy 文档中读到的那样,solve() 命令期望方程求解等于零。
由于我想要解的方程不是这种形式,事实上,我使用 sympy 这样的库的目的是解它们为 0,有没有办法解决这个问题?

asm*_*rer 5

文档所说的是,如果你做了类似的事情

>>> solve(x**2 - 1, x)
Run Code Online (Sandbox Code Playgroud)

然后solve隐含地假设x**2 - 1等于0。如果你想求解x**2 - 1 = 2,那么你可以2从两边减去,得到

>>> solve(x**2 - 1 - 2, x)
Run Code Online (Sandbox Code Playgroud)

或者你可以使用Eq()该类

>>> solve(Eq(x**2 - 1, 2), x)
Run Code Online (Sandbox Code Playgroud)