Gröbner normal form (reduced normal form) reduction modulo an ideal generated by a Gröbner basis

Original label: Gröbner normal form (reduced normal form) reduction modulo an ideal generated by a Gröbner basis