你如何减少 sympy 中的复合不平等？ (4 < x - 8 < 10)

Question

使用 sympy solve()或reduce_inequalities()适用于非复合不等式，如2 - 6 * x <= -4但它不能做复合不等式。

是否有不同的 sympy function 或不同的导入可以解决复合不等式？ 我似乎无法在 sympy 文档或 Google 上找到任何内容。

Answer 1

solveset() function 可以求解简单和复合不等式。

例如，求解复合不等式(2 - 6x <= -4) AND (3x + 1 > 4)，可以使用如下代码：

from sympy import *
x = Symbol('x')

ineq1 = Eq(2 - 6*x, -4)
ineq2 = Eq(3*x + 1, 4)

solveset(And(ineq1, ineq2), x)

您可以使用 linsolve() function 求解线性方程组和不等式。

linsolve([2 - 6*x - 4, 3*x + 1 - 4], x)

Answer 2

正如其他人提到的...

4 < x - 8 < 10

是相同的...

4 < x - 8 AND x - 8 < 10

所以我只是在做...

solve(4 < x - 8)
solve(x - 8 < 10)

并结合结果。 所以...

(12 < x) & (x < 18) or (12,18) or 12 < x < 18

*编辑用户 Stef 还指出，您可以将这两个方程式作为两个参数提供给 reduce_inequalities()！

reduce_inequalities((4 < x-8, x-8 < 10))