nonnegative polynomial