Gröbner-basis calculations for divide-and-conquer recurrence systems

(May 2020)

Get all following .mpl files. Execute bench.mpl. This generates a bench.out file containing inputs/outputs/timings by Buchberger/timings by F4/speedups.