Compute a Gröbner basis of an ideal from generators using S-polynomials and reductions

Class:
Algorithmic Task