Fermat, Computer Algebra System Above graphic created with the float version of Fermat. It is extremely fast and extremely economical of space.
All versions are available here.
Compare Your Computer Algebra System. There are now three tests. One test involves evaluation of rational functions, the second involves Smith Normal Form, the third resultants. Fermat Very Impressive in Comparison of Computer Algebra Systems Look at this preprint of a comparison of small polynomial-oriented computer algebra systems. In addition, there are new pdf versions of the all three manuals.