在Sympy中创建一个正式的线性函数

我在Sympy中有一个表达(比如

-M - n + x(n)

并且我想创建一个正式的线性函数,f表示,并将其应用于我的表达式,以便在简化后得到:

-f(M) - f(n) + f(x(n))

是否有可能告诉同意线性的属性得到验证？

一种非常黑客的方法是将函数f应用于总和中的每个子表达式.例如,当给出类似我给出的第一个表达式时,简单地访问出现在总和中的术语会很好(这里它将是

[-M, -n , x(n)]

然后在列表上映射f并将其求和以获得预期的值.

有没有一种简单的方法可以这样做,还是我必须通过表达式的句法树？