12.10 Параметры реализации

Значение констант, определённый в этом разделе, зависят от реализации. В некоторых случаях они могут быть полезны для параметризации кода.

[Константа] most-positive-fixnum
[Константа] most-negative-fixnum

Значением most-positive-fixnum является такое число, которое ближе всего к положительной бесконечности.

Значением most-negative-fixnum является такое число, которое ближе всего к отрицательной бесконечности.

X3J13 voted in January 1989 to specify that fixnum must be a supertype of the type (signed-byte 16), and additionally that the value of array-dimension-limit must be a fixnum. This implies that the value of most-negative-fixnum must be less than or equal to − 215, and the value of most-positive-fixnum must be greater than or equal to both 215 − 1 and the value of array-dimension-limit.


[Константа] most-positive-short-float
[Константа] least-positive-short-float
[Константа] least-negative-short-float
[Константа] most-negative-short-float

Значением most-positive-short-float является такое значение числа короткого формата с плавающей точкой, которое ближе всего к (но не равно) положительной бесконечности.

Значением least-positive-short-float является такое значение числа короткого формата с плавающей точкой, которое ближе всего к (но не равно) нулю.

Значением least-negative-short-float является такое значение числа короткого формата с плавающей точкой, которое ближе всего к (но не равно) нулю слева. (Следует отметить, что если разработчики поддерживают минус ноль, то значение данной константы не может ему равняться.)

X3J13 voted in June 1989 to clarify that these definitions are to be taken quite literally. In implementations that support denormalized numbers, the values of least-positive-short-float and least-negative-short-float may be denormalized.

Значением most-negative-short-float является такое значение числа короткого формата с плавающей точкой, которое ближе всего к (но не равно) отрицательной бесконечности.


[Константа] most-positive-single-float
[Константа] least-positive-single-float
[Константа] least-negative-single-float
[Константа] most-negative-single-float
[Константа] most-positive-double-float
[Константа] least-positive-double-float
[Константа] least-negative-double-float
[Константа] most-negative-double-float
[Константа] most-positive-long-float
[Константа] least-positive-long-float
[Константа] least-negative-long-float
[Константа] most-negative-long-float

Данные константы аналогичны предыдущим, но указывают на другие форматы чисел с плавающей точкой.


[Константа] least-positive-normalized-short-float
[Константа] least-negative-normalized-short-float

Значением least-positive-normalized-short-float является такое положительное нормализованное число в коротком формате с плавающей запятой, которое ближе всего к (но не равно) нулю. В реализации, которая не поддерживает денормализованные числа, может равняться тому же, что и least-positive-short-float.

Значением least-positive-normalized-short-float является такое отрицательное нормализованное число в коротком формате с плавающей запятой, которое ближе всего к (но не равно) нулю. (Следует отметить, что если реализация поддерживает минус ноль, то данная константа должна ему равняться.) В реализации, которая не поддерживает денормализованные числа, может равняться тому же, что и least-negative-short-float.


[Константа] least-positive-normalized-single-float
[Константа] least-negative-normalized-single-float
[Константа] least-positive-normalized-double-float
[Константа] least-negative-normalized-double-float
[Константа] least-positive-normalized-long-float
[Константа] least-negative-normalized-long-float

Данные константы аналогичны предыдущим, но указывают на другие форматы чисел с плавающей точкой.


[Константа] short-float-epsilon
[Константа] single-float-epsilon
[Константа] double-float-epsilon
[Константа] long-float-epsilon

Эти константы для каждого формата с плавающей точкой содержат наименьшее натуральное число с плавающей точкой e, такое что при вычислении выражение

(not (= (float 1 e) (+ (float 1 e) e)))

истинно.


[Константа] short-float-negative-epsilon
[Константа] single-float-negative-epsilon
[Константа] double-float-negative-epsilon
[Константа] long-float-negative-epsilon

Эти константы для каждого формата с плавающей точкой содержат наименьшее натуральное число с плавающей точкой e, такое что при вычислении выражение

(not (= (float 1 e) (- (float 1 e) e)))

истинно.