C library for manipulating polynomials
