Solving polynomial systems Computational commutative algebra mathematics