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

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