Gröbner bases; other bases for ideals and modules Computational commutative algebra mathematics