CoCoAlib (Computations in Commutative Algebra library)

This thing is actually nice. My tired-brain can understand C/C++. It is well documented and has tests and debugging procedures. Is that a Hilbert Algebra? I can has type PolyRing?

http://cocoa.dima.unige.it/cocoalib/index.shtml