I'd like a software that I can use to work with commutative algebra, specifically to figure out S-Polynomials, Buchberger's Algorithm, etc.
I have Mathematica; if anyone could refer me to a package, it'd be awesome. Currently, I've checked out a package that the authors of Ideals, Varieties, and Algorithms have offered (it's from the Amherst College website) but there are way too many issues that need some cleaning up with the code.
Is there anything a bit more reliable?
I tried UIllinois' Macaulay2, but got stuck at installation. Otherwise, I'm literally open to trying anything (provided, of course, that the software is clean/virus-free).
I don't believe this question has been asked before; I tried looking this up on MSE and couldn't find an appropriate response. If there is one, please direct me to it- thank you in advance!