實係數多項式定義