Polynomial manipulation