如何在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)