如何在Sympy中解析x + 1 <2？

Question

在數學，我可以解決 「X + 1 < 2」：

Reduce[x + 1 < 2, x] 

我可以做SymPy同樣的事情？我該怎麼做？

Answer 1

使用真正= 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)