Пример 1

Действительные числа с плавающей запятой имеют доменный тип DOM_FLOAT:

domtype(12.345)

Комплексные числа имеют доменный тип DOM_COMPLEX. Операнды могут быть целыми числами (DOM_INT), рациональные числа (DOM_RAT), или числа с плавающей запятой (DOM_FLOAT). К операндам можно получить доступ через op:

domtype(1 - 2*I), op(1 - 2*I);
domtype(1/2 - I), op(1/2 - I);
domtype(2.0 - 3.0*I), op(2.0 - 3.0*I)

Пример 2

Выражения являются объектами доменного типа DOM_EXPR. Тип выражений может быть запрошен далее с функциональным type:

domtype(x + y), type(x + y);
domtype(x - 1.0*I), type(x - 1.0*I);
domtype(x*I), type(x*I);
domtype(x^y), type(x^y);
domtype(x[i]), type(x[i])

Пример 3

domtype оценивает его аргумент. В этом примере присвоение сначала оценено и domtype применяется к возвращаемому значению присвоения. Это - правая сторона присвоения, т.е. 5:

domtype((a := 5))

delete a:

Пример 4

Здесь идентификатор a сначала оценен к expression sequence3, 4. Его доменным типом является DOM_EXPR, его типом является "_exprseq":

a := 3, 4: domtype(a), type(a)

delete a:

Пример 5

factor создает объекты доменного типа Factored:

domtype(factor(x^2 - x))

Пример 6

matrix создает объекты доменного типа Dom::Matrix():

domtype(matrix([[1, 2], [3, 4]]))

Пример 7

Области имеют доменный тип DOM_DOMAIN:

domtype(DOM_INT), domtype(DOM_DOMAIN)

Пример 8

domtype является сверхзагружаемым, т.е. область может симулировать иметь другой доменный тип. Специальный slot"dom" всегда дает фактическую область:

d := newDomain("d"): d::domtype := x -> "domain type d":
e := new(d, 1): e::dom, type(e), domtype(e)

delete d, e:

Возвращаемые значения

Тип данных, т.е. объект типа DOM_DOMAIN.

Перегруженный

object