Suchergebnisse - non-commutation Grabner basis algorithms