Recommendations for Commutative Algebra Software?
Try also Singular, a computer algebra system for polynomial computations.
You may try a web version of Macaulay2, http://www.math.uiuc.edu/Macaulay2/TryItOut/, http://habanero.math.cornell.edu:3690/.
You may try CoCoA System, Computations in Commutative Algebra