Subject: Attached: regression test files for Zeilberger.
From: Michel Van den Bergh
Date: Mon, 08 Jan 2007 08:40:06 +0100
Robert,
Can I ask you to replace the start of rtest_zeilberger.mac by
kill(all);
done$
(load(zeilberger),done);
done$
/* New regression tests are at end */ <==== Addition!
/*=================================================================*/
/* converted from testZeilberger.mac (mvdb) */
Currently it is unclear that this file is also intended for new
regression tests. If you prefer it then I will
simply post a new version.
Michel