控制 SageMath 9.1 中的微分“水平”

Question

Sage 似乎希望尽可能使用链式法则来评估导数。一个简单的例子是：

var('theta')
f = function('f')(theta)
g = function('g')(theta)

h = f*g
diff(h,theta)

将会显示

g(theta)*diff(f(theta), theta) + f(theta)*diff(g(theta), theta)

我的问题是，有没有办法控制 Sage 采取衍生品的程度？例如，在上面的示例中，我如何让 Sage 显示：

diff(f(theta)*g(theta))

我正在研究流体力学中的一些相当密集的推导，并且能够不像上面讨论的那样一直评估导数确实会有所帮助。提前致谢。对此有任何帮助将不胜感激。

Answer 1

这称为“持有”导数。

已经考虑过将这种可能性添加到 Sage 中。

跟踪此方面的进展：

• Sage Trac 门票 24861

票据甚至链接到具有实现此功能的代码的分支。

虽然这方面的进展已经停滞，并且分支还没有被合并， 您可以使用分支的代码。

Answer 2

如何使用分行的代码？我要复制什么？我该粘贴到哪里？我该怎么办？

@塞缪尔·莱利夫尔

很抱歉发布作为答案。我还没有 50 声望所以不允许发表评论