实数域上不可约多项式的类型有种。