利用 sympy 求解符号运算

一个求解方程的小例子:

from sympy import *

x, y, z = symbols('x y z')

q1 = Eq(4 * (x - y), 4)
q2 = Eq(2 * (3 * y - x), 2 * z)

result = solve([q1, q2], [x, y])

print(result) #{x: z/2 + 3/2, y: z/2 + 1/2}
1
2
3
4
5
6
7
8
9
10