无穷多项式的对称约化