1.一元二次不等式求解

例1：求下列不等式的解

代码如下：

from sympy import symbols, solve

x = symbols('x')
f = x ** 2 + x - 6
print(solve(f > 0))

运行结果：

2.一元不等式组求解

例2：求下列不等式组的解集

代码如下：

from sympy import symbols, solve

x = symbols('x')
f1 = 2 * x + 6 - 7 * x + 9
f2 = 2 * (4 * x + 2) - 5 * (x - 1)
print(solve([f1 > 0, f2 >= 0]))

运行结果：

注意事项：需要将不等式化简并移项到左边