sumFullSimplify

◼ sumFullSimplify[expr] attempts to simplify an expression involving symbolic sums.

◼ sumFullSimplify calls Simplify with a suitable list of additional transformation rules to handle expressions with symbolic sums.

◼ See also: sum, sumThread, sumExpand, sumCollect, sumSimplifyKD, sumAbstractIndex, sumNameIndex.

Further examples

Load sneg and declare some quantities.

<< sneg`sneg`;
snegfermionoperators[c]
ordering[c] = SEA;
snegfreeindexes[k, k1, 
      k2, σ, σ1, σ2]
snegrealconstants[x]

Collect terms

sum[number[c[k], σ], {k, σ}] - 
      sum[1, {k}]
sumFullSimplify[%]

antikomutator[c[CR, k], 
      sum[c[AN, k1], {k1}]]
sumFullSimplify[%]

Handle KroneckerDelta function

sum[
      KroneckerDelta[k, k1] nc[c[CR, k], c[AN, k1]], {k, 
        k1}]
sumFullSimplify[%]

nc[sum[number[c[], σ], {σ}], 
      sum[number[c[], σ], {σ}]]
sumFullSimplify[%]