Как я могу решить x + 1 <2 в Sympy?

Question

по математике, я могу решить "х + 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)