The python binding for libpoly, the C library for manipulating polynomials. WWW: https://github.com/SRI-CSL/libpoly