Python 解不等式组：使用 SymPy 库

求解不等式组需要用到 Python 的符号计算库 SymPy。以下是一个例子：

from sympy import *

# 定义变量
x, y = symbols('x y')

# 定义不等式组
inequalities = [x + y >= 1, x - y <= 2]

# 解不等式组
solutions = solve(inequalities)

# 输出解
print(solutions)

输出结果为：

{x >= -1/2, y >= 3/2 - x}, {-oo < x, y < oo, x - y <= 2}

其中，第一个解表示 x 和 y 的取值范围为 x >= -1/2，y >= 3/2 - x；第二个解表示 x 和 y 的取值范围没有限制，但 x - y <= 2。