我正在尝试解决一些实际上可能实际上并不太复杂的问题（数学上），但我有点迷失并希望通过SymPy的帮助来做到这一点。我
给定两个变量X，Y（这些是符号，我无权访问任何值）和已知常量a，b，... ，g。在一个我无法改变的现有软件中，从这些
X' = a * X + b
Y' = c * Y + d
Z' = e * X * Y + f
计算。在另一个不能改变的现有软件中， 我有不同的值，类似的计算完成。为了解决这个问题，我大大简化了这个问题，但是为了得到这个想法：
X' and Y' like above
Z_ = (a * x + b) * ( c * y + d) - g
要在Z'和Z_之间架起桥梁，我想将z_表达为X'，Y'，Z'和1的线性组合：< / p>
Z_ == * X' + * Y' + * Z' + .
如何使用Sympy为，，，解决此问题？
我知道我可以避免使用Sympy，将每个变量X'，Y'，Z'，Z_表示为X的线性组合，{ {1}}，Y和1，以及做矩阵代数但是由于我的问题实际上更复杂，而且其细节将来可能会发生变化，我真的很感激一些软件帮助。