Type
::PosInt
Type and property representing positive integers
MuPAD® notebooks will be removed in a future release. 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.
testtype(obj
, Type::PosInt) assume(x
, Type::PosInt) is(ex
, Type::PosInt)
Type::PosInt
represents positive integers. Type::PosInt
is
a property, too, which can be used in an assume
call.
The call testtype(obj, Type::PosInt)
checks,
whether obj
is a positive integer number and returns TRUE
, if
it holds, otherwise FALSE
.
testtype
only
performs a syntactical test identifying MuPAD® objects of type DOM_INT
and
checks, if bool(obj > 0)
holds.
The call assume(x, Type::PosInt)
marks the
identifier x
as a positive integer number.
The call is(ex, Type::PosInt)
derives, whether
the expression ex
is a positive integer number
(or this property can be derived).
This type represents a property that can be used in assume
and is
.
The following numbers are of type Type::PosInt
:
testtype(2, Type::PosInt), testtype(3, Type::PosInt), testtype(55, Type::PosInt), testtype(1, Type::PosInt), testtype(111, Type::PosInt)
Assume an identifier is positive integer:
assume(x, Type::PosInt): is(x, Type::PosInt)
Also positive integers are integers:
assume(x, Type::PosInt): is(x, Type::Integer)
However, integers can be positive or not:
assume(x, Type::Integer): is(x, Type::PosInt)
delete x:
|
Any MuPAD object |
|
An identifier or a mathematical expression containing identifiers |
|