实代数数符号判定的一种新算法.pdfVIP

第23卷第3期 科技通报 VDl．23No．3 2007年5月 BULLETIN OFSCIENCEANDTECHNOLOGY May．2007 实代数数符号判定的一种新算法 解烈军z，侯晓荣1，杨志辉2 (1．宁波大学理学院，浙江宁波315211；2．东华理工学院，江西抚州344000) 摘要：根据多元多项式结式、笛卡尔符号法则、多项式实根隔离和实连续函数的性质等理论，给出对 任意实代数数进行符号判定的一种新算法．测试实例表明。本文提出的算法还能有效地解决Maple系 统中关于浮点数运算的一些缺陷． 关键词：数学杌城化：实代数数；符号载定；雾渣 ． 中图分类号：0174．14。TP301，6文献标识码：A 文章编号：1001—7119{2007}03—0303—05 ANew for ofReal Numbers AlgorithmDetermining Sign Algebraic X／E NGZhi-hui2 Lie-junl,HOUXiao-ron91,YA of 315211 (1．Faculty China； Science，Ni．sboUniversity，Zhcjiang 2．EastChinaInstituteof Technology，Jiangxi34400，China) Abstract：kthis to l的Ots ofreale矾tiTm— resuh墟ts，Dcscartessignz1矗es，real propefftes paper，according ieo[atin$snd DnB Dfreal numberswas functions．且new for the inta叫lueed．Some algorithmdeterminingsign algebraic experiments with our thatthe of arithmeticof besolvedthe of proved shortcomingsfloat-point Maplemight help algorithm． words：mathematicsmechanization；real Key algebraicnumber,signdetermining；algorithm 符号判定是数学机械化研究领域一个基础而重要的问题．本文讨论的是实代数数的符号判定问题， 关于这方面的研究已有一些工作【蚓．文[1】引入代数数的代数运算的纯符号计算方法，并将其应用到代数 数的符号判定．可惜当实代数数比较复杂，或者结果接近于0的时候，在计算机上实现相当困难．文[2]给 出了一种主要依赖于数值计算的方法，该方法的基本原理是对每一个实代数数定义一个三元组伍反 蚴，j是包含a的区间，