擅长:python、mysql、java
<p>您可以在<a href="https://docs.sympy.org/latest/modules/solvers/inequalities.html#inequality-docs" rel="nofollow noreferrer">sympy inequality solvers</a>中查看一些选项</p>
<p>我可以用<code>reduce_inequalities</code>来解决你的问题</p>
<pre class="lang-py prettyprint-override"><code>from sympy.abc import a, c
import sympy.solvers.inequalities as neq
t = neq.reduce_inequalities([a < 12, a < 3, c >= 4])
</code></pre>
<p>结果呢
<code>(4 <= c) & (-oo < a) & (a < 3) & (c < oo)</code></p>
<p>它还适用于一些更复杂的示例
<a href="https://i.stack.imgur.com/k4j05.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/k4j05.png" alt="enter image description here"/></a></p>
<p>只要每个不等式有一个变量</p>