多项式环Z_(p^e)[x]中的Hensel引理及提升

在多项式环 Zpe[x]中 ,建立了 Hensel引理及提升 ,并利用 Hensel引理证明了 xn- 1在 Zpe[x]中可惟一分解成基本不可约多项式的乘积 ,其中 (n,p) =1。

基于Hensel引理的规格化边界角浮点乘测试用例生成模型

针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.

Z_(2m)上的Hensel引理和Hensel提升

在环Z2m[x]上建立了Hensel引理和Hensel提升,并给出了计算Hensel提升的算法.

再论多项式的Hensel提升

R是有限链环,M是其极大理想,K=R/M;则建立了K[x]中一类多项式在R[x]中的Hensel提升;证明了多项式的Hensel提升不依赖于n的选择,证明了K[x]中任一首一多项式f(x)在R[x]中具有Hensel提升的充要条件是f(0)≠0且f(x)在其分裂域中无重根。

Z_P→Z_(P^2)上的Hensel提升

Hensel引理和Hensel提升是研究环上码的重要工具,[1]中论述了Z_2→Z_4上的Hensel提升,在此基础上,本文进一步研究Z_P→Z_(P^2)(P为素数)上的Hensel提升。

多项式X^2m-1在环Z(2m-1)^k上的因式分解

研究多项式X^2m-1在环Z(2m-1)^k上的不可约因式分解,其中2m-1为素数,并给出X^2m-1不可约因式系数之间的约束关系,以及m=4、6时X^2m-1-1的不可约因式分解。

Eise nstein同余式的p-adic证明(英文)

利用 p

素数p在数域Q(u^(1/2),v^(1/2))上的素理想分解

运用局部域理论给出了奇素数p在数域K=Q(u^(1/2),v^(1/2))上的素理想分解形式,其中l是奇素数,u,v∈z~*,且u/vQ^l.