将 SymPy 的计算减慢为更小的步骤

Question

我正在使用 SymPy，它非常强大。但是，我想让它“放慢速度”并一次解决一个方程的片段，而不是大部分方程。例如，给定一个输入字符串方程（假设格式正确），如

9x-((17-3)(4x)) - 8(34x)

我想先解决

9x-((14)(4x)) - 8(34x)

然后

9x-(56x) - 8(34x)

然后

9x-(56x) - 272x

等等。

另一个例子，

from sympy import *
s = (30*(5*(5-10)-10*x))+10
s2 = expand(s, basic=False)

一步给我-300*x - 740，我只想一次完成一个*

Answer 1

阅读由 Google Summer of Code 生成的 ideas document，这似乎是一些尚未添加到库中的内容。就目前而言，如果不自己完全编写代码，就无法为您的示例执行此操作。

上述文档中讨论并强调了将不等同于人类工作的算法转换为离散步骤的问题。我不确定这是否会在扩展的实现中成为一个问题，但对于其他算法来说肯定是一个问题，因为效率的原因，这些机器的计算方式不同。

tl;dr 此库不支持您的示例的分步细分。目前只有 manualintegrate 函数有分步操作。