以逻辑方式求解方程的问题

Question

我正在考虑一种用简单的面向对象来求解简单方程的方法。我发现了一种方法，它似乎适用于变量单独存在的所有情况。请参阅：

例如，此方程：(4 / x + 3) / 2 = 2 首先，我将减号运算符 ((4 / x + 3) / 2 - 2 = 0) 中的等于转换为等于零。 然后，我按正常优先顺序应用所有操作，就像 x 变成数字一样。第一个是4 / x，我将操作4/放入堆栈并返回x。接下来是x + 3（记住4 / x 结果是x）。操作进入堆栈（现在是 4/ +3）并返回 x。重新计算，最终堆栈将是 4/ +3 /2 -2。然后我按以下顺序恢复所有操作：

+n   -->  -n
-n   -->  +n
*n   -->  /n
/n   -->  *n
n/   -->  n/
**n  -->  **(1/n)
     (where the missing value of these binary operations is the variable)

现在堆栈为 4/ -3 *2 +2。现在我颠倒顺序并将所有操作应用到零：

Stack: +2 *2 -3 4/ 运算：4 / ((0 + 2) * 2 - 3)

结果是 4，即 x 的值。

这是非常令人困惑和复杂的，但是是合乎逻辑的，并且很容易用 ruby​​ 编写代码来在任何方程中执行该代码：

class Variable
  # define all numeric operators to use the stack and return self
end
def solve
  x = Variable.new
  yield(x)
  return x.value
end

x = solve do |x|
  (4 / x + 3) / 2 == 2
end

它的最终界面非常酷。

但我的问题是：如何以这种方式解决x + x == 4？也就是说，如何将两个变量栈相加呢？

Answer 1

根据要求，我将之前的评论作为答案：

为此，您不需要两个变量堆栈。您需要一个简化阶段，将其更改为 2x = 4，然后求解 x。

为了扩展这一点，第一步是进行一些符号计算，例如术语重写和简化。一旦你有了这个，使用你当前的解算器（不过请记住路易斯在他的评论中所说的）。