Computational Commutative Algebra 2