Text this: PM, A System for Polynomial Manipulation.