%s _buchberger | %s _groebnercone
