在最大值中操纵方程

Question

我搜索了最大值手册，关于如何操纵等式和喜欢但我无法找到它。

我已经在ratcoef和使用lhs和rhs方面实施了coefmatrix。要完成它并继续扩充部分，我需要知道如何做到这一点。

我该怎么做：

x + 10 - y = z + 5;

变成这个：

x - y - z = -5;

Answer 1

有几种方法可以做到这一点。 （1）我假设您已经知道如何通过ratcoef和右侧通过rhs获取系数。让foo为右侧减去左侧（所以现在你有right - left = 0。减去所有变量的总和乘以它们的系数。然后余数是常量部分并不依赖于任何变量。（2）使用freeof来识别不含（即不包含）任何变量的术语。