SRI LibPoly is a C library for manipulating polynomials - View it on GitHub