摘要：由于GP关系的存在，直接求括号代数多项式组的Groebner基需要加入大批GP多项式一起计算。这不仅影响计算Groebner基的效率，而且算得的结果会出现大量不需要的多项式。我们直接在括号拉直之后的标准形上定义Groebner基。但是由于标准形不规则，前人定义的序都不是允许序，无法用来计算Groebner基。我们重新定义了标准形上的除法关系，并定义了与标准形相容的允许序，并在理论上实现了括号代数Groebner基的计算。