sympy - 简化 sympy.KroneckerDelta

Question

有没有办法“简化”sympy.KroneckerDelta？例如，

i, j = sympy.symbols('i j')
sympy.KroneckerDelta((i+1)/2, (j+1)/2)

也可以更简单地表示为

sympy.KroneckerDelta(i, j)

Answer 1

有一个内部函数_simplify_delta就是这样做的。

import sympy
from sympy.concrete.delta import _simplify_delta
i, j = sympy.symbols('i j')
expr = sympy.KroneckerDelta((i+1)/2, (j+1)/2)
print(_simplify_delta(expr))

打印KroneckerDelta(i, j)。备注:

1. _simplify_delta 仅适用于 KroneckerDelta 的单个实例，不适用于涉及增量的表达式。
2. 它不被 simplify 使用:通用的 simplify 对 Kronecker delta 的特殊属性了解不多(如果有的话)。