change "magic" parameter SPairGroupSize to SPairGroupType which has two entries: S-pair of minimal signature, S-pairs of minimal degree
Change value of parameter buchbeger to "gb" or "siggb".
Check the output basis by their spairs rather than comparing with results computed by other means.
comment out the restriction of reducerType when buchbeber == "gb"