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