Справочник по Ada 2012
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 с большим количеством значащих цифр.
