Описание

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

Dom::Complex имеет категорию Cat::Field из-за прагматизма. Эта область на самом деле не является полем, потому что bool(1.0 = float(3) / float(3)) возвращает FALSE, например.

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

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

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

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