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

Question

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

Reduce[x + 1 < 2, x]

我能对SymPy做同样的事情吗？我该怎么做呢？在

Answer 1

使用^{}函数。在

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

Answer 2

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

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

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