Dom
::Integer
Ring of integer numbers
MuPAD® notebooks are not recommended. Use MATLAB® live scripts instead.
MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.
Dom::Integer(x
)
Dom::Integer
is the ring of integer numbers
represented by elements of the domain DOM_INT
.
Elements of Dom::Integer
are usually not
created explicitly. However, if one creates elements using the usual
syntax, it is checked whether the input is an integer number. This
means that Dom::Integer
is a façade domain
which creates elements of domain type DOM_INT
.
Viewed as a differential ring Dom::Integer
is
trivial, it contains constants only.
Dom::Integer
has the domain Dom::Numerical
as its
super domain, i.e., it inherits each method which is defined by Dom::Numerical
and not
reimplemented by Dom::Integer
.
Methods described below are those implemented by Dom::Integer
.
Ax::canonicalRep
, Ax::systemRep
, Ax::canonicalOrder
, Ax::canonicalUnitNormal
, Ax::closedUnitNormals
, Ax::efficientOperation
("_divide")
, Ax::efficientOperation
("_mult")
Creating some integer numbers using Dom::Integer
.
This example also shows that Dom::Integer
is a
façade domain.
Dom::Integer(2); domtype(%)
Dom::Integer(2/3)
Error: Invalid arguments. [Dom::Integer::new]
By tracing the method Dom::Integer::testtypeDom
we
can see the interaction between testtype
and Dom::Integer::testtypeDom
.
prog::trace(Dom::Integer::testtypeDom): delete x: testtype(x, Dom::Integer); testtype(3, Dom::Integer); prog::untrace(Dom::Integer::testtypeDom):
enter Dom::Integer::testtypeDom(x, Dom::Integer) computed FALSE
enter Dom::Integer::testtypeDom(3, Dom::Integer) computed TRUE

An integer 