擅长:python、mysql、java
<p>在SymPy中可以有等式(实际上是相等对象):</p>
<pre><code>>>> eq1=Eq(x,y);eq2=Eq(x,5)
</code></pre>
<p>但你是对的,潜艇不会为你猜所有的东西。看起来Sage假设,如果一个变量被孤立在等式的一边,那就是要被替换的变量。但不能保证您总是方便地将所需的变量隔离开来。使用“求解”可以将所需的变量隔离开来:</p>
^{pr2}$
<p>然后把它代入方程中,你要从中消除这个变量。在</p>
<pre><code>>>> eq1.subs(solve(eq2,x,dict=1)[0])
5=y
</code></pre>
<p>使用“exclude”关键字目前的行为不像我预期的那样;也许它应该在消除意义上起作用:</p>
<pre><code>>>> solve((eq1,eq2), exclude=(x,))
{y:x}
</code></pre>