python解不等式方程_在SymPy中一次解决非线性方程组和不等式系统(Solving a system of non linear equations and inequalities at on...

在SymPy中一次解决非线性方程组和不等式系统(Solving a system of non linear equations and inequalities at once in SymPy)

我是SymPy和python的新手，我遇到了一个问题。 我正在尝试解决系统'kunSys'：

>>> kunSys

[-w0 + w1 - 8*x1 + 20,

-2*w0 + w2 - 8*x2 + 4,

w0*(-x1 - 2*x2 + 2),

w1*x1,

w2*x2,

w0 >= 0,

w1 >= 0,

w2 >= 0]

使用变量列表'lagVars'：

>>> lagVars

(x1, x2, w0, w1, w2)

如您所见，我的系统包含方程和不等式。

试：

>>> solve(kunSys,lagVars)

得到：

NotImplementedError:

inequality has more than one symbol of interest

但是在分别解决方程和不等式时它可以正常工作：

>>> kunSys[:5]

[-w0 + w1 - 8*x1 + 20,

-2*w0 + w2 - 8*x2 + 4,

w0*(-x1 - 2*x2 + 2),

w1*x1,

w2*x2]

>>> solve(kunSys[:5],lagVars)

[(0, 0, 0, -20, -4),

(0, 1/2, 0, -20, 0),

(0, 1, -2, -22, 0),

(2, 0, 4, 0, 4),

(11/5, -1/10, 12/5, 0, 0),

(5/2, 0, 0, 0, -4),

(5/2, 1/2, 0, 0, 0)]

>>> kunSys[5:]

[w0 >= 0, w1 >= 0, w2 >= 0]

>>> solve(kunSys[5:],lagVars)

(0 <= w0) & (0 <= w1) & (0 <= w2) & (w0 < oo) & (w1 < oo) & (w2 < oo)

但这不是一个想要的结果。 我尝试使用solveset()但它似乎也不起作用。 我google了很多，但未能找到答案。

题：

我该如何解决这个系统？

I'm new t