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.

• bench.mpl
• bench.out
• data.mpl
• gbdacr.mpl