OPESumSimplify
OPESumSimplify[exp]
simplifies OPESum
s in exp
.
See also
Overview, OPESum, OPESumExplicit.
Examples
OPESum[(-SOD[p])^(OPEi + 1) SOD[p - q]^(OPEm - OPEi - 2), {OPEi, 0, OPEm}]
i=0∑m(−(Δ⋅p))1+i(Δ⋅(p−q))−2−i+m
(Δ⋅p)(−i=0∑m(−1)i(Δ⋅p)i(Δ⋅(p−q))−2−i+m)
OPESumSimplify[OPESum[{OPEi, 0, OPEm}] a^OPEi]
i=0∑mai
OPESumSimplify[OPESum[{j, 0, i}, {i, 0, m}] a^(j - i) b^i]
i=0∑m(i+1)biaj−i
% // StandardForm
(*OPESum[a^(-i + j) b^i, {i, 0, m}, {j, 0, i}]*)