python - 如何在 Sympy 中解决 x + 1 < 2？

Question

在数学中，我可以用以下方法解决“x + 1 < 2”：

Reduce[x + 1 < 2, x]

我可以用 SymPy 做同样的事情吗？我该怎么做？

Answer 1

使用 real=True 定义一个实数符号：

In [1]: x = symbols("x", real=True)

In [2]: solve(x + 1 < 2, x)
Out[2]: x < 1

Answer 2

使用该solve()功能。

>>> from sympy.solvers import solve
>>> from sympy import Symbol
>>> x = Symbol('x')
>>> solve(x + 1 < 2, x)
And(im(x) == 0, re(x) < -3)