I'm not sure. I haven't looked at it in a very long time. The open source implementations I know reasonably well are: Maxima (and therefore Sage), SymPy, and Axiom. I did some work on a integration test suite for Sage before I had to put it on hold. It was based on a suite from Axiom.