多项式集合的特征对分解
摘要：特征对是指一个多项式集合对(G, C)，其中G是缩对字典格罗布纳基，C是包含在G中的最小三角集，且C是正常的。在本文中，我们证明了任何有限多项式集合P都可以通过算法分解为有限个具有相关零关系的特征对，这些特征对提供了P的零点集的表示，其中使用了格罗布纳基和三角集的零点集。我们提出的分解算法利用了Ritt特征集和字典格罗布纳基之间的内在联系，并且基本上基于字典格罗布纳基的结构性质和计算。我们建立了分解和结果的特征对的几个良好特性，特别是每个对中格罗布纳基和三角集之间的关系。我们给出了一些例子来说明算法和一些特性。
作者：Dongming Wang, Rina Dong, Chenqi Mou
论文ID：1702.08664
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2017-03-01