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))) (
なし。
なし。
なし。