括号代数的Groebner基

主讲人:黄雷(数学机械化重点实验室)
时间:2014年11月20日上午11:00   地点:思源楼一层报告厅

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