×
程金珊;高小山

两个多项式的保乘法三角集分解。 （英语） Zbl 1317.12002年

J.系统。科学。复杂。 27，第6期，1320-1344（2014）.
摘要：本文针对两多项式系统提出了一种保重三角集分解算法，该算法只需一次计算两个多项式的本原多项式余数序列和某些GCD计算。该算法将由两个多项式定义的未混合变量分解为无平方和不相交（对于非垂直分量，请参见定义4）的代数循环，这些代数循环由三角集表示，可能具有负的重数。因此，作者可以计算非垂直分量的多重性。在二元情况下，作者给出了一个完整的算法，将系统分解为用重数三角集表示的零点。作者还分析了该算法在二元情况下的复杂性。作者实现了该算法，并通过大量实验证明了该方法的有效性。

引用于5文件

MSC公司：

2005年12月 场论和多项式的计算方面（MSC2010）
68瓦30 符号计算和代数计算
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）

关键词：

代数循环;保持多重性;本原多项式余数序列;三角集分解

软件：

艾司隆
PDF格式BibTeX公司 XML格式引用
\textit{J.-S.Cheng}和\textit{X.-S.Gao}，J.Syst。科学。复杂。27，第6号，1320--1344（2014；Zbl 1317.12002）
全文： 内政部 arXiv公司

参考文献：

[1] Ritt J，微分代数，纽约，多佛出版社，1966年·兹伯利0139.14701
[2] 吴文堂，基本几何中机械理论证明的基本原理，自动推理杂志，1986，2:221-252·Zbl 0642.68163号 ·doi:10.1007/BF02328447
[3] 吴文堂：《几何力学定理证明的基本原理》，科学出版社，北京，1984年；施普林格，维恩，1994（中文）。
[4] Aubry P、Lazard D和Moreno Maza M，《三角集理论》，J.Symb。计算。，1999年，28（1-2）：105-124·Zbl 0943.12003号 ·doi:10.1006/jsco.1999.0269
[5] 陈，C。；O.Golubitsky。；Lemaire，F。；莫雷诺·马扎（Moreno Maza，M.）。；Pan，W.，《综合三角分解》，73-101（2007）·Zbl 1141.68677号
[6] Chou S C和Gao X S，Ritt-Wu的分解算法和几何定理证明，CADE’10，Stickel M E编辑，计算机科学讲义，Springer-Verlag，1990，449:207-220·Zbl 0708.68062号
[7] Dahan，X。；莫雷诺·马扎（Moreno Maza，M.）。；肖斯特；Wu，W。；Xie，Y.，三角分解的提升技术（2005）·Zbl 1360.14146号
[8] 高X S和周S C，关于任意上升链的维数，中国科学。公牛。，1993, 38: 799-804. ·Zbl 0845.13004号
[9] Gerdt V P和Blinkov Y A，多项式理想的对合基，模拟中的数学和计算机，1998，45（5-6）：519-541·Zbl 1017.13500号 ·doi:10.1016/S0378-4754（97）00127-4
[10] Golubitsky O、Kondratieva M、Ovchinnikov A和Szanto A，A对微分Nullstellensatz中的阶的界。代数杂志，2009，322:3852-3877·Zbl 1189.12002号 ·doi:10.1016/j.jalgebra.2009.05.032
[11] Hubert，E.，无文章标题，关于三角集和三角分解算法的注释I：多项式系统，2630，1-39（2003）·Zbl 1022.12004年
[12] Lazard D，求解正维代数系统的新方法，离散应用。数学。，1991, 33: 147-160. ·Zbl 0753.13013号 ·doi:10.1016/0166-218X（91）90113-B
[13] 李，X。；莫雷诺·马扎（Moreno Maza，M.）。；Schost.三角集的快速算术：从理论到实践，269-276（2007）·Zbl 1190.68093号
[14] Moreno Maza，M.，关于代数簇的三角分解（2000）
[15] Kalkbrener M，计算代数簇三角表示的广义欧几里德算法，J.Symb。计算。，1993, 15(2): 143-167. ·Zbl 0783.14039号 ·doi:10.1006/jsco.1993.1011
[16] Kalkbrener M，消去理论中的原始多项式余数序列，工程、通信和计算中的应用代数，1995，6:65-79·Zbl 0845.12006号 ·doi:10.1007/BF01225644
[17] Kalkbrener M，多项式环的算法性质，J.Symb。计算。，1998, 26(5): 525-581. ·Zbl 0920.68129号 ·doi:10.1006/jsco.1998.0227
[18] 王德，计算三角系统和正则系统，J.Symb。计算。，2000, 30(2): 221-236. ·Zbl 1007.65039号 ·doi:10.1006/jsco.1999.0355
[19] 吴文堂，关于非线性多项式方程的线性方程组解法，系统科学与数学科学，1993，6（1）：1-12·Zbl 0794.65045号
[20] Yang，L.等人。；Zhang，J.，《寻找代数方程之间的依赖性：应用于自动推理的算法》，147-156（1994）·Zbl 0808.68069号
[21] Lazard D，解零维代数系统，J.Symb。计算。，1992, 13: 117-131. ·Zbl 0753.13012号 ·doi:10.1016/S0747-7171（08）80086-7
[22] 李伯华，一种通过Ritt-Wu特征集求解代数方程重数的方法，《函数应用学报》，2003，5（3）：98-109·Zbl 1030.65055号
[23] 李，Y。；Xia，B。；Zhang，Z.，零维多项式系统多重性的零分解（中文），19-22（2010）
[24] Bates D、Peterson C和Sommese A J，用于计算代数集组件多重性的数字-符号算法，复杂性杂志，2006，22（4）：475-489·Zbl 1100.65046号 ·doi:10.1016/j.co.2006.04.003
[25] 代顿，B。；Zeng，Z.，求解多项式系统中的多重结构计算（2005）·Zbl 1360.65151号
[26] Lazard D，理想基和初等分解：两个变量的情况，J.Symb。计算。，1985, 1: 261-270. ·Zbl 0616.68036号 ·doi:10.1016/S0747-7171（85）80035-3
[27] Brown W S，子合成PRS算法，ACM Trans。数学软件，1978年，4:237-249·Zbl 0385.68044号 ·数字对象标识代码：10.1145/355791.355795
[28] Hodge W V D和Pedoe D，《代数几何方法》，第二卷，剑桥大学出版社，ISBN 0 521 46901 5平装本，1994年·Zbl 0796.14003号
[29] Gel'fand I M、Kapranov M和Zelevensky A.判别、结果和多维行列式，波士顿，Birkhäuser，1994年·Zbl 0827.14036号 ·doi:10.1007/978-0-8176-4771-1
[30] Cox D A、Little J和O’Shea D，《使用代数几何》，施普林格出版社，第二版，2004年。
[31] Hodge W V D和Pedoe D，代数几何方法，第一卷，剑桥大学出版社，ISBN 0 521 469007 4平装本，1994年·Zbl 0796.14003号
[32] 麦考利·F·S，《模块系统的代数理论》，剑桥大学出版社，1916年，1994年再版·JFM 46.0167.01号文件
[33] Fulton W，《代数曲线》，第三版，在线，2008年。
[34] Boulier，F。；Lemaire，F。；Moreno Maza，M.，三角形系统的著名定理和D5原理（2006）·Zbl 1213.13044号
[35] 多拉·J·D。；Discrecenzo，C。；Duval，D.，无文章标题，关于代数数域中计算的新方法，204289-290（1985）
[36] 孙毅，王德康，代数扩张域上多项式因式分解的一种有效算法，arXiv:0907.2300v2[cs.SC]·Zbl 1271.12007年
[37] Diochnos D I、Emiris I Z和Tsigaridas E P，《关于求解实域上二元系统的渐近和实际复杂性》，J.Symb。计算。，2009, 44: 818-835. ·Zbl 1169.13306号 ·doi:10.1016/j.jsc.2008.04.009
[38] Reischert，D.，子结果的渐近快速计算，233-240（1997）·Zbl 0928.68145号
[39] 王德，《消除实践》，《软件工具与应用》，帝国理工大学出版社，2004年·Zbl 1099.13047号 ·数字对象标识代码：10.1142/9781848161207
[40] Wang，D.K.，多项式方程组的零分解，67-70（2000）·Zbl 0981.65063号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。