论文部分内容阅读
采用Grobner基方法，可以把一个在有限群作用下不变的多项式写成不变环的生成元的多项式．核心问题是如何有效地计算这个正维不变理想的Grobner基．本文引入一个有效提升算法来计算这组Grobner基．当用straight line program模型对整个计算过程进行复杂度分析时，可以把计算开销控制在多项式时间内．