Справочник по Ada 2005
A.5 Пакеты Numerics
Библиотечный пакет Numerics является родительским для нескольких дочерних единиц, предоставляющих средства для математических вычислений. Один из них, обобщенный пакет Generic_Elementary_Functions, определен в A.5.1, вместе с его необобщенными эквивалентами; два других, пакет Float_Random и обобщенный пакет Discrete_Random, определены в A.5.2. Дополнительные (необязательные) дочерние единицы определены в Приложении G, «Numerics».
Статическая семантика
Этот абзац был удален.
package Ada.Numerics is
pragma Pure(Numerics);
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;
pragma Pure(Numerics);
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 с большим количеством значащих цифр.
