python - python 是否有像 Excel 那样求解方程组的工具？

Question

例如，我有以下方程组（它们可以是非线性的）：
A + B = C
C * D = E

我想为变量输入一些值（例如 A = 1、B = 2、D = 3）并获得其他变量的结果（在本例中为 E = 9），我可以更改变量并立即获得新结果（例如我说 A = 2，我想立即得到 E = 12）

标签： python

Answer 1

你可以使用z3

#!/usr/bin/python3

from  z3 import *
A = Real('A')
B = Real('B')
C = Real('C')
D = Real('D')
E = Real('E')

A = 1
B = 2
D = 3

solve(A + B == C, C * D == E)