×
伊丽莎白·A·阿诺德。

计算Gröbner基的模块化算法。 （英文） Zbl 1046.13018号

J.塞姆。计算。 35，第4期，403-419（2003）.
摘要：中间系数膨胀是Buchberger算法在有理数上计算Gröbner基的一个众所周知的困难\（p）-adic和模块化方法在限制其他计算中的中间系数增长方面取得了成功，特别是在计算一个变量中多项式的最大公约数（GCD）的欧几里得算法中。本文提出了两个计算理想In（mathbb{Q}[x_1，dots，x_nu]\）的Gröbner基的模算法，扩展了模GCD算法。这些算法改进了先前提出的计算Gröbner基的模块化技术，因为作者在提升之前测试素数，并且还提供了一个检查结果正确性的算法。给出了不幸素数的一个完整刻画。最后，作者给出了一些初步的时间安排，表明这些模块化算法可以在中间系数增长存在问题的示例中提供相当大的时间改进。

引用于5评论
引用于48文件

MSC公司：

13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
68瓦30 符号计算和代数计算

关键词：

模块化算法;不吉利的素数;时间改进

软件：

麦考利2;快速修改标准;可可;莫德沃克;修改标准.lib
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Arnold}，J.Symb（J.塞姆）。计算。35，第4号，403--419（2003；Zbl 1046.13018）
全文： 内政部

参考文献：

[1] 亚当斯·W·W。；Loustaauna，P.，Gröbner基础导论（1994），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0811.13020号
[2] 阿诺德，E.A.，2000年。计算Gröbner Bases与Hilbert Lucky Primes，马里兰州大学博士论文，College Park，MD；阿诺德，E.A.，2000年。用Hilbert Lucky Primes计算Gröbner基，马里兰大学帕克分校博士论文
[3] Borosh，I.，用同余技术求有理系数线性方程组的精确解，计算数学，20107-112（1966）·Zbl 0137.11002号
[4] Buchberger，B.，1979年。检测Gröbner-bases构造中不必要减少的标准，《计算机科学讲义》，第72卷，第23-21页；Buchberger，B.，1979年。检测Gröbner-bases构造中不必要减少的标准，《计算机科学讲义》，第72卷，第23-21页·Zbl 0417.68029号
[5] Buchberger，B.，1985年。Gröbner bases:多项式理想理论中的算法方法，in：多维系统理论，第184-232页；Buchberger，B.，1985年。Gröbner-bases:多项式理想理论中的算法方法，in:多维系统理论，第184-232页·Zbl 0587.13009号
[6] Capani，A.，Niesi，G.，Robbiano，L.，2001年。CoCoA，在交换代数中进行计算的系统。可通过cocoa.dima.unige.it的匿名ftp获得；Capani，A.，Niesi，G.，Robbiano，L.，2001年。CoCoA，在交换代数中进行计算的系统。可从cocoa.dima.unige.it通过匿名ftp获得
[7] Davenport，J.H。；Siret，Y。；Tournier，E.，《计算机代数：代数计算的系统和算法》（1988），学术出版社·Zbl 0679.68058号
[8] Ebert，G.L.，关于Gröbner-bases模块化方法的一些评论，ACM SIGSAM Bulletin，17，28-32（1983）·Zbl 0527.13001号
[9] 艾森巴德，D.，《面向代数几何的交换代数》（1995年），斯普林格-Verlag·Zbl 0819.13001号
[10] 格鲍尔，R。；Möller，H.M.，《关于布赫伯格算法的安装》，《符号计算杂志》，6275-286（1988）·Zbl 0675.13013号
[11] Gräbe，H.，《幸运素数》，《符号计算杂志》，第15期，199-209（1994）·Zbl 0787.13016号
[12] Kornerup，P。；Gregory，R.，将整数和Hensel码映射到Farey分数，Bit，23，9-20（1983）·Zbl 0521.10007号
[13] Grayson，D.，Stillman，M.，2000年。Macaulay 2，可通过ftp.math.uiuc.edu的匿名ftp获得；Grayson，D.，Stillman，M.，2000年。Macaulay 2，可通过匿名ftp从ftp.math.uiuc.edu获得
[14] Möller，H.M.，Mora，F.，1984年。Groebner基数的上下限，Eurosam’84，《计算机科学讲义》，第174卷，第172-183页；Möller，H.M.，Mora，F.，1984年。Groebner基数的上下限，Eurosam’84，《计算机科学讲义》，第174卷，第172-183页·Zbl 0564.68030号
[15] Pauer，F.，《关于Gröbner基计算的幸运理想》，《符号计算杂志》，第14期，第471-482页（1992年）·Zbl 0776.13014号
[16] 佐佐木，T。；Takeshima，T.，《（Q）上Gröbner基构造和代数方程组求解的模块化方法》，《信息处理杂志》，12，371-379（1989）·Zbl 0757.13012号
[17] Traverso，C.，1988年。Gröbner Trace Algorithms，《88年ISSAC学报》，《计算机科学讲义》，第358卷，第125-138页；Traverso，C.，1988年。Gröbner Trace Algorithms，ISSAC’88期刊，《计算机科学讲义》，第358卷，第125-138页
[18] Traverso，C.，Hilbert函数和Buchberger算法，符号计算杂志，22，355-376（1997）·Zbl 0922.13019号
[19] Winkler，F.，计算Gröbner基的A（p）-adic方法，符号计算杂志，6287-304（1987）·Zbl 0669.13009号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。