%s _buchberger <%s | %s _groebnercone
