我怎样才能解决x + 1＆lt; Sympy 2？

Question

在数学中，我可以用：

解决“x + 1＆lt; 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)