本文研究多项式复合与Gr（?）bner基的性质与计算。 设K[x1,x2,…,xn]是域K上关于变量x1,x2,…,xn的多元多项式环,θ=（θ1,θ2,…,θ......