Problem class: commutative algebra problems on polynomial ideals (division, membership, Gröbner basis, quotient)

Class:
Algorithmic Task