python - Sympy：解决双变量不等式

Question

我想知道是否可以使用 Sympy 解决不等式系统的特定情况。

每个系统将包含一个双变量不等式以及附加的可选单变量不等式，其中包含与第一个不等式相同的变量。

例子：

a*b <= 100
a > 0

我想将每个变量的符号解决方案作为分段函数。

上一个示例的解决方案是：

A的解决方案：

a > 0, when b <= 0
a in (0, 100/b], when b > 0.

B的解决方案：

b <= 100/a, when a > 0.

Microsoft Math Solver 可以正确解决这些类型的不等式，因此可以用作参考： https ://mathsolver.microsoft.com/en/solve-problem/%7B%20a%20%20%7D%5E%7B% 20%20%20%7D%20%20b%20%3C%20%20%20%3D%20%20100%20%2C%20%20a%20%3E%20%200

标签： pythonmathsympyequationinequality