Computational Algebraic Geometry and Commutative Algebra by