polynomial addition