Эта часть ISO/IEC 10967 определяет свойства числовых аппроксимаций для многих реальных элементарных числовых функций, доступных в стандартных библиотеках для различных языков программирования, обычно используемых для математических и числовых приложений. Разработчик может выбрать любую комбинацию аппаратной и программной поддержки в соответствии со спецификациями этой части. Это вычислительная среда, с точки зрения программиста/пользователя, которая соответствует или не соответствует спецификациям. Термин «реализация» (этой части) обозначает всю вычислительную среду, относящуюся к этой части, включая аппаратное обеспечение, языковые процессоры, библиотеки подпрограмм, средства обработки исключений, другое программное обеспечение и документацию. 1 Включения Спецификации части 1 включены в данную часть посредством ссылки. В этой части приводятся спецификации для числовых функций, для которых все значения операндов имеют целочисленные типы данных или типы данных с плавающей запятой, удовлетворяющие требованиям части 1. Границы возникновения исключений и максимально допустимая ошибка устанавливаются для каждой указанной операции. Кроме того, для каждой указанной операции с плавающей запятой предписывается результат, полученный путем указания операнда специального значения, такого как бесконечность или NaN. В этой части описано большинство числовых функций, требуемых стандартами ISO/IEC для Ada [11], Basic [16], C [17], C++ [18], Fortran [22], ISLisp [24], Pascal [27] и ПЛ/И [29]. В частности, даны спецификации для: а) некоторых дополнительных целочисленных операций. б) Некоторые дополнительные нетрансцендентные операции с плавающей запятой, включая операции с максимумом и минимумом. в) Возведение в степень, логарифмы и гиперболы. г) Тригонометрия как в радианах, так и в угловых единицах с заданным аргументом, в частном случае - в градусах. В этой части также представлены спецификации для: e) Преобразований между целочисленными типами данных и типами данных с плавающей запятой (возможно, с разными основаниями), соответствующих требованиям части 1, а также операций преобразования, используемых, например, при текстовом вводе и выводе целых чисел и чисел с плавающей запятой. . f) Результаты, полученные включенной операцией с плавающей запятой, когда одно или несколько значений аргумента являются специальными значениями IEC 60559. ж) Видимые программой параметры, характеризующие отдельные аспекты операций. 2 Исключения В этой части не приводятся спецификации для а) Числовых функций, операнды которых имеют более одного типа данных (за одним исключением). Эта часть не требует и не исключает наличия таких операций со «смешанными операндами». б) Интервальный тип данных или операции с такими данными. Эта часть не требует и не исключает таких данных или операций. в) Тип данных с фиксированной точкой или операции над такими данными. Эта часть не требует и не исключает таких данных или операций. г) Рациональный тип данных или операции над такими данными. Эта часть не требует и не исключает таких данных или операций. д) Комплексные, матричные, статистические или символические операции. Эта часть не требует и не исключает таких данных или операций. е) Свойства арифметических типов данных, не связанные с числовым процессом, например представление значений на физическом носителе. g) Свойства целочисленных типов данных и типов данных с плавающей запятой, которые должным образом соответствуют стандартам языков программирования или другим спецификациям. Примеры включают 1) синтаксис цифр и выражений на языке программирования, 2) синтаксис, используемый для анализируемых (входных) или генерируемых (выходных) форм строк символов для чисел любым конкретным языком программирования или библиотекой, 3) приоритет операторов в язык программирования, 4) наличие или отсутствие автоматического приведения типов данных, 5) правила присваивания, передачи параметров и возврата значения, 6) последствия применения операции к значениям неправильного типа данных или к неинициализированным данным. Кроме того, в этой части не приводятся спецификации того, как должны быть реализованы операции или какие алгоритмы следует использовать для варио.
BS ISO/IEC 10967-2:2001 История
2001BS ISO/IEC 10967-2:2001 Информационные технологии. Языконезависимая арифметика. Элементарные числовые функции