Here are the input files for EKHAD, that failed for lack of memory. Please report to us any succcesful run. Suppose you hope to get a proof, using EKHAD, of identity (4.5).
You are advised to use nice, and submit the job as a batch job.
Download the file inek45 below, save it as inek45. Then, assuming that you have the package EKHAD in the same directory, and it is now 10:56 PM: type
at 2300 [CR]
Then at the at prompt Type: nice maple -q [Shift Comma] inek45 [Shift Period] oek45
Eventually file oek45 will be ready. In, in luck, it will produce a succesful output, and not terminate for lack of memory.
Here are the input files:
Input file for identity (4.2), save it as in42
. Input file for identity (4.3), save it as inek43
. Input file for identity (4.4) [completely rigorous proof], save it as inek44
. Input file for identity (4.5), save it as inek45
. Input file for identity (4.6), save it as inek46
. Input file for identity (4.7), save it as inek47
. Input file for identity (4.8), save it as inek48
. Input file for identity (4.9), save it as inek49
. Input file for identity (4.10), save it as inek410
. Input file for identity (4.11), save it as inek411
. Input file for identity (4.12), save it as inek412
. Input file for identity (4.13), save it as inek413
. Input file for identity (4.14), save it as inek414
. Input file for identity (4.15), save it as inek415
. Input file for identity (4.16), save it as inek416
. Input file for identity (4.17), save it as inek417
. Input file for identity (4.18), save it as inek418
. Input file for identity (4.19), save it as inek419
. Input file for identity (4.20), save it as inek420
. Input file for identity (4.21), save it as inek421
.