擅长:python、mysql、java
<p>我尝试了两种方法来解决这个问题</p>
<ol>
<li><p>假设<code>x - y = 0</code>。这是我唯一能找到的表达你想做的假设的方法。不幸的是,它似乎不够聪明,没有注意到这个假设允许它用x代替y</p>
<pre><code>print("refine:", sp.refine(x**2-y**2,Q.zero(x-y)))
</code></pre>
<p>这只是返回原始表达式</p>
</li>
<li><p>请sympy替换该表达式。这并不是自动的——你要求它做替换,而不是给它做替换的选项,但它确实适用于这个玩具示例</p>
<pre><code>expr = (x**2-y**2)
print("substitution:", expr.subs(x**2-y**2, 1))
</code></pre>
<p>打印1</p>
</li>
</ol>