Steve, do you know about Macaulay 2? It's a computer algebra system designed for commutative algebra and algebraic geometry.

Moreover it has a fairly easy to use language and an easy way to create packages.

Probably if you would join the Google Group "Macaulay 2" and asked this same question you would get some offers.