問題タブ [inequalities]

一連の解の条件について線形不等式を解こうとしています。例えば：

この不等式システムを解くための条件は、明らかに 0 < p*C < D-L です。しかし、この線形不等式システムを満たす解または条件が存在しないことが報告されています。

等式を使用する場合、これらはソルブ関数を使用して受け取るソリューションですが、不等式に切り替えると、機能しなくなったようです。vpasolve も使用してみましたが、解決策にはなりませんでした。

これまでのところ、コーナーソリューションを見つける方法、または線形不等式のシステムにソリューションが存在するかどうかについての回答を提供するスタックオーバーフローに関する質問しか見つけていません。

上記の解は無限の数の解を暗示していることを理解していますが、これは、関数 solve が等式に対して行うように、条件を使用して簡単にキャプチャできます。線形不等式のシステムに対してこれらの種類のソリューションを取得する方法を知っている人はいますか?

私が使用する場合

この結果を受け取ります。

ここまでは順調です。ただし、場合によっては、x、y、および z を (たとえば) 非負になるように制約したい場合があります。このようなアプローチを使用すると<

私は得る：

sympy、sage、prolog、haskell、またはその他の無料で入手できる製品には、このようにして発生する線形不等式のシステムを解決する手段がありますか。

ありがとうございました！