Subject: Attached: regression test files for Zeilberger.
From: Robert Dodier
Date: Sun, 7 Jan 2007 13:03:50 -0700
On 1/7/07, Michel Van den Bergh <michel.vandenbergh at uhasselt.be> wrote:
> Attached are two regression test files for Zeilberger.
> The "extreme" tests take a long time to excecute so I have separated them
> out in rtest_zeilberger_extreme.mac.
>
> rtest_zeilberger.mac contains 4 failing tests. The one with the unary minus
> which was fixed by Andrej and three other bugs pointed out by Andrej.
I've committed rtest_zeilberger.mac and rtest_zeilberger_extreme.mac
in share/contrib/Zeilberger/. Thanks a lot for working on this.
HTH
Robert