Constant Variable SHORT-FLOAT-EPSILON, SHORT-FLOAT-NEGATIVE-EPSILON, SINGLE-FLOAT-EPSILON, SINGLE-FLOAT-NEGATIVE-EPSILON, DOUBLE-FLOAT-EPSILON, DOUBLE-FLOAT-NEGATIVE-EPSILON, LONG-FLOAT-EPSILON, LONG-FLOAT-NEGATIVE-EPSILON
実装依存
各定数short-float-epsilon, single-float-epsilon, double-float-epsilon, long-float-epsilonの値は、 その与えられたフォーマットの最も小さい正の浮動小数epsであり、 下記の式が評価されたときにtrueとなるものです。
(not (= (float 1 eps) (+ (float 1 eps) eps)))各定数short-float-negative-epsilon, single-float-negative-epsilon, double-float-negative-epsilon, long-float-negative-epsilonの値は、 その与えられたフォーマットの最も小さい正の浮動小数epsであり、 下記の式が評価されたときにtrueとなるものです。
(not (= (float 1 eps) (- (float 1 eps) eps)))なし。
なし。
なし。