ffmodstd公司

奇异库ffmodstd.lib:有理函数域上多项式环的Groebner理想基。一个用于计算代数函数域Q(T)上多项式环中理想的Groebner基的库:=Q(T_1,…,T峎m),其中Têi是超越Q的。其思想如下:给定Q(T)[X]中的理想i,我们通过发送T到Tz的映射将i映射到J:=(T_1z+s_1,。。。,对于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足够大时才恢复有理数。一旦我们有了这些点,我们通过将[4]系数上的稀疏多元有理插值算法应用到Q(z)[X]中的Groebner基G_b列表,得到一组多项式G,其中该算法利用了以下算法:一元多项式插值[2],一元有理函数重构[7],多元多项式插值[3]。最后一个算法使用了著名的Berlekamp/Massey算法[5]及其早期终止版本[6]。集合G是高概率I的Groebner基。