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. I think a corrrectly working Zeilberger package is crucially important for maxima. Michel