Computational Algebraic Geometry and Commutative Algebra door