擅长:python、mysql、java
<p>如果没有一些空间,你想用什么样的表达式和假设,这可能是一个无法解决的问题,所以我会做一些假设</p>
<p>如果要基于其他多项式表达式为零简化多项式表达式,则可以使用<code>ratsimpmodprime</code>在Symphy中执行此操作:</p>
<pre><code>In [1]: x, y = symbols('x, y')
In [2]: assumptions = [x**2 + y**2 - 1]
In [3]: expression = x**2 + y**2
In [4]: ratsimpmodprime(expression, assumptions)
Out[4]: 1
</code></pre>
<p><a href="https://docs.sympy.org/latest/modules/simplify/simplify.html#ratsimpmodprime" rel="nofollow noreferrer">https://docs.sympy.org/latest/modules/simplify/simplify.html#ratsimpmodprime</a></p>