python - 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)