On 1/7/07, Michel Van den Bergh <michel.vandenbergh at uhasselt.be> wrote:
> Is there a regression test file for Zeilberger? If not then I will
> convert the current
> test file to a regression test file and add a test case for a unary minus.
No, there is no regression test file for Zeilberger at present.
There is the script testZeilberger.mac (perhaps this is the test
file to which you refer) but it is not organized as a regression test.
If you want to work on creating a regression test file that would
be very much appreciated.
best
Robert Dodier