SymPy：KroneckerDelta和索引的衍生物

Question

请参阅以下MWE：

import sympy as s
x = s.IndexedBase('x')
y = s.IndexedBase('y')
i,j,k = map(s.Idx,['i','j','k'])
a = s.exp(x[i]*y[j]*s.KroneckerDelta(i,j))
b = a.diff(x[j])

b的值为LaTeX rendering of b。由于我还不允许嵌入图片，因此这里是文本格式

((Derivative(KroneckerDelta(i, j), i)*Derivative(i, x[j]) + Derivative(KroneckerDelta(i, j), j)*Derivative(j, x[j]))*x[i]*y[j] + KroneckerDelta(i, j)*y[j])*exp(KroneckerDelta(i, j)*x[i]*y[j])

关键点在于KroneckerDelta指数i的未评估衍生工具与指数j和i以及指数j和x[i]的衍生工具相关到0。为什么这些不是select top 1 Product_Name, count(*) as cnt, 'Best Seller' as label1 from [Order_Details] group by Product_Name order by count(*) desc ？

Answer 1

我认为，我对期望与索引变量进行符号区分的行为尚未在Sympy中得到充分实现。我继续使用其他工具，如Maxima或Mathematica（甚至是笔和纸）进行这些计算。