控制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 ticket 24861

票证甚至链接到一个分支，其中包含实现这一点的代码。

尽管这方面的进展停滞不前，并且分支尚未合并，但您可以使用分支中的代码。