> I am doing it right now!
Maybe you can add the following examples, which currently give wrong answers.
AntiDifference(2^(k^2), k); (should be NON_HYPERGEOMETRIC)
AntiDifference(k^k, k); (should be NON_HYPERGEOMETRIC)
Zeilberger(binomial(n,i), i, n); (works if i is replaced with j)
I think there is some way to declare which problems are expected to
give incorrect results. I have a patch to fix these examples but it is
not in cvs yet.
Andrej