生成多项式的定义