add Polynomial_plus