Python求解线性方程组的子集

Question

所以我知道sympy和numpy的线性代数求解器，但是我尝试做的是不同的。我没有方程式来形成可解矩阵，因此可以使用这些库进行求解，因此我尝试通过组合两个或多个方程式来求解单个变量。例如：

A + B + C = 2B + C = 1

通过结合这些方程式，我们可以看到得到A + 1 = 2或A =1。

我不能仅仅创建矩阵并求解它，该如何在python中实现类似的功能？最终目标是最终得到一个等于0或1的变量，如果不可能，那么可以通过组合方程式来获得最短形式。加起来，变量系数将始终为1，换句话说，永远不会有类似2A + B = 3的东西。

Answer 1

from sympy import *
a, b, c = symbols('a, b, c')
f1 = a+b+c
f2 = b+c
result = solve([f1-2, f2-1], (a, b, c))

输出：

{b: 1 - c, a: 1}