Описание

Dom::Real поле вещественных чисел, представленных элементами областей ядра DOM_INT, DOM_RAT, DOM_FLOAT, и DOM_EXPR.

Dom::Real область вещественных чисел, представленных выражениями типа DOM_INT, DOM_RAT или DOM_FLOAT. Выражение типа DOM_EXPR рассматривается как вещественное число, если оно имеет тип Type::Arithmetical и если это не содержит indeterminates, которые не имеют типа Type::ConstantIdents и если это не содержит мнимой части. Смотрите Пример 2.

Dom::Real имеет категорию Cat::Field из-за практических причин. Эта область на самом деле не является полем потому что bool(1.0 = 1e100 + 1.0 - 1e100) возвращает FALSE например.

Элементы не могут иметь уникального представления, например, bool(0 = sin(2)^2 + cos(2)^2 - 1) возвращает FALSE.

Элементы Dom::Real обычно не создаются явным образом. Однако, если вы создаете элементы с помощью обычного синтаксиса, он проверяется, может ли входное выражение быть преобразовано в номер. Это означает Dom::Real область фасада, которая создает элементы доменного типа DOM_INT, DOM_RAT, DOM_FLOAT, или DOM_EXPR.

Dom::Real не имеет никакого нормального представления, потому что 0 и 0.0 оба представляют нуль.

Просматриваемый как дифференциальный звонок, Dom::Real тривиально, это содержит константы только.

Dom::Real имеет доменный Dom::Complex как его супер область, т.е. это наследовало каждый метод, который задан Dom::Complex и не повторно реализованный Dom::Real. Методы, описанные ниже, повторно реализованы Dom::Real.