python - 有没有办法在 SymPy 中获得分步解决方案？

Question

有什么办法可以在SymPy中获得分步解决方案吗？例如:

x**2-5 = 4
  step 1 x**2-5+5=4+5
  step 2 : x**2=9
  step 3 :x = 3 or x= -3

Answer 1

(这更像是评论作为回答)

有一些Google's-soc的实现思路

循序渐进的表达式可视化

GSoC 2014 Ideas:很多时候，人们会问他们如何知道某些功能在做什么。比如，他们想一步步知道……对于前者，你能做的最好就是跟着代码走；对于后者，该算法根本无法像您手动那样工作，所以真的没有办法...

GSoC 2015 Ideas:

循序渐进的策略

许多 SymPy 操作背后的逻辑被分成几个小方法。例如像 sin 或 exp 这样的对象有 _eval_derivative 方法，当 SymPy 计算一个复杂表达式如 sin(exp(x)) 的导数时被调用。通过捕获所有这些小方法的输入和输出，我们可以收集大量有关 SymPy 采取的步骤的信息。我们可以看到 exp._eval_derivative 接受了 exp(x) 并返回了 exp(x)，而 sin._eval_derivative 接受了 sin(exp(x)) 并返回了 cos(exp(x))*exp(x)。每种方法的这些输入-输出对可能足以说明 SymPy 如何解决许多领域的问题。

这种捕获许多内部函数输入的方法类似于传统上用于分析大型代码库的日志记录系统。我们应该调查它们是如何工作的，以及它们是否会对正常操作造成任何问题。

一旦这个信息源可用，我们就可以考虑有趣的方式来可视化它并与之交互。一个好的解决方案不会将数据流不可逆转地绑定(bind)到特定的可视化技术。

这种方法在智力上很简单，但可能需要学生与大量代码库进行交互。像 _eval_derivative 这样的方法在整个 SymPy 中无处不在，但在不同的模块中通常会有微小的变化。

这里有一个在线解决方案 SymPy Gamma