向sympy添加缺少的减法和除法运算符

Question

我正在尝试在sympy中逐步实现数学求解器。算术运算符+，-，*，/，**被映射到SymPy的三个核心类的组合：Add，Mul和Pow。 但是，我需要在表达式树中进行减法和除法，以便在逐步执行时可以进行打印。我知道我需要更改或至少改写sympy中的某些行为，但是我不知道在哪里以及如何做？ 有什么想法吗？谢谢。