数域上的一元多项式。