CADCS代数基础库中零或非零实数的相等判断

【作者】 毛剑琴； 江海标； 杨锦燕； 邱红专；

【机构】 北京航空航天大学；

【摘要】 <正>一、问题的提出在用浮点数制式的数字计算机中,一个实数X被表示成X=sdβ^c其中S为数符取+1或-1;d为小数部分,可表示成d=（d₁/β）+（d₂/β²）+…+（d_t/β^t）其中β为底数;e为指数,t为计算机的字长;d₁,…,dt是整数,满足:0≤d_l≤β-1（i=1,…,t）e为整数,满足L<e<V其中,V,L分别表示计算机能表示的最大和最小指数,超过这些指数,机器将出现上溢或下溢,例如在IBM/386（MDT）中,取双精度字长时,则β=2,t=64,L=-1074,V=+1074.由于浮点数系统是由有限个不连续的数组成的,一个十进数往往得不到合理的舍入,这时就会产生舍入误差,设实数X在浮点数系统中表示成fl（X）,则更多还原