Справочник по Ada (Ada 2022)
A.5 Пакеты Numerics
Библиотечный пакет Numerics является родительским для нескольких дочерних единиц, предоставляющих средства для математических вычислений. Один из них, обобщенный пакет Generic_Elementary_Functions, определён в A.5.1, вместе с необобщенными эквивалентами; два других, пакет Float_Random и обобщенный пакет Discrete_Random, определены в A.5.2. Дополнительные (необязательные) дочерние единицы определены в Приложении G, “Numerics”.
Статическая семантика
Этот абзац был удалён.
package Ada.Numerics
with Pure is
Argument_Error : exception;
Pi : constant :=
3.14159_26535_89793_23846_26433_83279_50288_41971_69399_37511;
π : constant := Pi;
e : constant :=
2.71828_18284_59045_23536_02874_71352_66249_77572_47093_69996;
end Ada.Numerics;
with Pure is
Argument_Error : exception;
Pi : constant :=
3.14159_26535_89793_23846_26433_83279_50288_41971_69399_37511;
π : constant := Pi;
e : constant :=
2.71828_18284_59045_23536_02874_71352_66249_77572_47093_69996;
end Ada.Numerics;
Исключение Argument_Error генерируется подпрограммой в дочерней единице Numerics для сигнализации о том, что один или несколько фактических параметров подпрограммы выходят за пределы области определения соответствующей математической функции.
Разрешения реализации
Реализация может указать значения Pi и e с большим количеством значащих цифр.
