SimplifyDeltaFunction[exp, x] simplifies f[x]*DeltaFunction[1-x] toLimit[f[x],x->1] DeltaFunction[1-x] and applies a list of transformation rules for DeltaFunctionPrime[1-x]*x^(OPEm-1)*f[x] where x^(OPEm-1) is suppressed in exp.
See also: DeltaFunction, DeltaFunctionPrime.
The FeynCalc Book | Series2 | SimplifyPolyLog |