Type::NegInt
-- a type and a
property representing negative integersType::NegInt
represents negative integers.
Type::NegInt
is a property, too, which can be used in an
assume
call.
testtype(obj,
Type::NegInt)
assume(x,
Type::NegInt)
is(ex,
Type::NegInt)
obj |
- | any MuPAD object |
x |
- | an identifier or one of the expressions Re(u) or Im(u) with an identifier
u |
ex |
- | an arithmetical expression |
testtype
, is
, assume
, Type::Property
testtype(obj,
Type::NegInt) checks,
whether obj
is a negative 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.assume(x,
Type::NegInt) marks the identifier x
as a negative integer
number.
The call is(ex,
Type::NegInt) derives, whether the expression ex
is a
negative integer number (or this property can be derived).
assume
and is
.The following numbers are of type
Type::NegInt
:
>> testtype(-2, Type::NegInt), testtype(-3, Type::NegInt), testtype(-55, Type::NegInt), testtype(-1, Type::NegInt), testtype(-111111111, Type::NegInt)
TRUE, TRUE, TRUE, TRUE, TRUE
Assume an identifier is a negative integer:
>> assume(x, Type::NegInt): is(x, Type::NegInt)
TRUE
Negative integers are integers, of course:
>> assume(x, Type::NegInt): is(x, Type::Integer)
TRUE
However, integers can be negative or not:
>> assume(x, Type::Integer): is(x, Type::NegInt)
UNKNOWN
>> delete x: