>> >> You mean another else if? I still get >> >> AntiDifference(-k*k!,k); >> - k k! is not hypergeometric in k > > > Yes, another else if. The correct result is -k!. > > Andrej Yes but with this change I still get - k k! is not hypergeometric in k So either I misunderstand you or your fix is not working. Michel