I've once written code for manipulating polinomials symbolically (in perl of course). See Symbolic calculations with operator overload.