快速修改标准 swMATH编号： 27228 软件作者： D.K.Boku；W.Decker；C.菲克 描述： 奇异库ffmodstd.lib：有理函数域上多项式环中理想的Groebner基。使用模方法和稀疏多元有理插值计算代数函数域Q（T）：=Q（T_1，…，T_m）上多项式环中理想的Groebner基的库，其中T_i超越Q。其思想如下：在Q（T，[X]中给定一个理想i，我们通过发送T到Tz:=（T_1z+s_1，…，T_mz+s_m）的映射将I映射到J，用于Q^m{（0，…，0）}中的合适点s和一些额外变量z，因此J是Q（Tz）[X]中的理想值。对于Z^m{（0，…，0）}中的一个合适点b，我们通过映射发送（T，Z）到（b，Z）将J映射到K，其中b:=（b_1，…，b_m）（通常b_i是不同的素数），因此K是Q（Z）[X]中的理想点。对于这样的有理点b，我们使用模算法[1]和单变量有理插值[2,7]计算了K的Groebner基G_b。对许多有理点b重复该过程，直到它们的数量足够大，可以恢复Q（T）中的正确系数。一旦我们有了这些点，我们通过将[4]系数的稀疏多元有理插值算法应用到Q（z）[X]中的Groebner基G_b列表中，得到一组多项式G，其中该算法使用了以下算法：一元多项式插值[2]、一元有理函数重建[7]、，和多元多项式插值[3]。最后一种算法使用了著名的Berlekamp/Massey算法[5]及其早期终止版本[6]。集合G是I的高概率Groebner基。 主页： https://www.singular.uni-kl.de/Manual/latest/sing_2374.htm#SEC2450 依赖项： 单一 相关软件： 福克斯;达格伍德;修改标准.lib;莫德沃克;麦考利2;可可 引用于： 5文件 全部的 前5名7位作者引用 3 李文申 2 埃里克·卡尔托芬。 1 伊丽莎白·A·阿诺德。 1 安妮·库伊特。 1 萨拉·科达达德 1 奥斯汀·A·洛博。 1 迈克尔·莫纳根。 2篇连载文章中引用 2 符号计算杂志 1 理论计算机科学 在5个字段中引用 4 计算机科学（68至XX） 2 交换代数（13-XX） 1 数论（11-XX） 1 近似值和展开值（41至XX） 1 数值分析（65-XX） 按年份列出的引文