线性INequalities系统的返回条件

Question

我正在尝试解决解集合上的条件的线性不等式。例如：

syms p C L D W
assume([p, C, W, D, L] >= 0)
eqn5 = p*C + L - D < 0;
eqn6 = p*C > 0;
solp2 = solve([eqn5, eqn6], [p, C, W, D, L], 'ReturnConditions', true);
Solp2p = solp2.p
Solp2C = solp2.C
Solp2W = solp2.W
Solp2D = solp2.D
Solp2L = solp2.L
Solp2cond = solp2.conditions
solp2par = solp2.parameters`

求解这个不等式组的条件显然是0< p*C < D- L。然而，它报告说不存在满足这个线性不等式组的解或条件。

当使用等式时，这些是我使用solve函数得到的解决方案，然而，当切换到不等式时，它似乎不再起作用。我还尝试使用vpasolve，但也没有得到解决方案。

到目前为止，我只在Stack Overflow上找到了一些问题，这些问题给出了如何找到角解或线性不等式系统是否存在解的答案。

我知道上面的解决方案意味着无限数量的解决方案，但这很容易使用条件来捕获，就像solve函数对等式所做的那样。有没有人知道如何得到线性不等式组的这种解？

Answer 1

我转而使用mathematica，并使用reduce函数来找到我正在寻找的解决方案。还没有想好如何在matlab中实现它。