Computational Commutative Algebra 1