关于含参多项式系统的典型讨论
交换代数
2007-05-23 v6
摘要
给定一个含参多项式理想 I，作者于 2002 年引入的算法 DISPGB 构建了一棵二叉树，描述依赖于参数取值的不同约化 Groebner 基的二分讨论，其终端顶点集合构成一个综合 Groebner 系统（CGS）。为了使其在应用中更有用，获得具有进一步性质的综合 Groebner 系统是有意义的。本文将兴趣集中于获得一个典型综合 Groebner 系统。我们定义了目标，展示了困难并表述了一个自然猜想。若该猜想为真，则这样的典型综合 Groebner 系统存在且可计算。我们还给出一个算法将原始综合 Groebner 系统朝此方向转化，并展示其在应用中的效用。
引用
@article{arxiv.math/0601674,
title = {On the canonical discussion of polynomial systems with parameters},
author = {Antonio Montes},
journal= {arXiv preprint arXiv:math/0601674},
year = {2007}
}
备注
19 pages, 2 figures. See also http://www-ma2.upc.edu/~montes/ . Complete new version