numpy 用來解方程的話有點複雜，需要用到矩陣的思維！我矩陣沒學好再加上 numpy 不能解非線性方程組，所以...我也不會這玩意兒！
遜色於 sage 和 z3，但解方程也是非常不錯的！
from sympy import *
x = symbols('x')
y = symbols('y')
res = solve([x+y-3,x-y-1],[x,y])[0]
print(res)
var('x y')
solve([x**3+y**2+666==142335262,x**2-y==269086,x+y==1834],[x,y])
linux上跑，python2 和 python3 都支援！使用的思路非常簡單：
下面列舉常用的函式，順便給個 z3-solver文件
# 符號變數型別
int('x')
real('x')
bool('x')
bitvec('x',n) # n bit的符號變數，用於位操作
bitvecval(num,n) # n bit的資料 num
# 初始化約束器
solver = solver()
# 新增約束
solver.add(x+y==10,x-y==0)
# 求解約束
solver.check()
ans = solver.mode()
# 初始化多個符號變數
x = [int('x%d' % i) for i in range(n)]
# 取結果中某個變數的值
value = ans[x].as_long()
用Python解方程
大家可以先口算一下，這道題裡面的x的值為 200接下來我們用python來實現，如下，每一句 後面都寫有解釋語 1 import sympy 引入解方程的專業模組sympy 2 x sympy.symbols x 申明未知數 x 3 a sympy.solve x 1 5 x 240 x 寫入需要解...
解方程命令
求極限 limit 例 limit f,x,a,left 對表示式f求極限，變數為x，從左邊趨近a。inf 正無窮 inf 負無窮。求解線形方程 solve，linsolve 例 a 5 0 4 2 1 1 2 1 4 1 2 0 1 1 1 1 矩陣的行之間用分號隔開，元素之間用逗號或空格 b 3...
基本解方程
ncl是一家專門從事計算器改良與公升級的實驗室，最近該實驗室收到了某公司所委託的乙個任務 需要在該公司某型號的計算器上加上解一元一次方程的功能。實驗室將這個任務交給了乙個剛進入的新手zl先生。為了很好的完成這個任務，zl先生首先研究了一些一元一次方程的例項 4 3x 8 6a 5 1 2 2a 5 ...