Описание

Ax::systemRep состояния, что доменные элементы представлены элементами встроенных областей.

Существует преимущественно два способа представлять элементы области: С одной стороны, элементы могут быть созданы явным образом системной функцией new, с другой стороны, можно использовать встроенное (или основной) области MuPAD^® (как DOM_INT) представлять элементы.

Области, которые не создают собственные элементы, но используют элементы основных областей вместо этого, называются областями фасада.

Использование основных областей для представления имеет преимущество, которое системные функции могут использоваться непосредственно в качестве методов области без издержек, вызванных путем перегрузки и вызовов процедуры. Но это имеет некоторые серьезные ограничения, смотрите доменный Dom::Expression для деталей.

Аксиома Ax::systemRep используется, чтобы утвердить, что элементы области представлены основными областями и не создаются new.