Описание

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

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

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

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

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