Описание

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.