不同对合除法的对合单项式集的构造
Construction of Involutive Monomial Sets for Different Involutive Divisions
AI总结：
本文研究不同对合除法下单项式集的对合完备化，提出每种除法对应独立完备化过程，多项式情形产生冗余对合基，并比较了Mathematica与C实现的Janet除法性能。
摘要：
我们考虑了使用不同对合除法将单项式集完备化为对合集的计算与实现问题。每种除法都产生其自身的完备化过程。对于多项式情形，它产生一个对合基，这是Groebner基的一种特殊形式，通常是冗余的。我们还将我们的Janet除法的Mathematica实现与C语言实现进行了比较。
英文摘要：
We consider computational and implementation issues for the completion of monomial sets to involution using different involutive divisions. Every of these divisions produces its own completion procedure. For the polynomial case it yields an involutive basis which is a special form of a Groebner basis, generally redundant. We also compare our Mathematica implementation of Janet division to an implementation in C.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
