Type::Relation
-- type for
testing relationsWith Type::Relation
, relational expression can be
identified.
testtype(obj,
Type::Relation)
obj |
- | any MuPAD object |
see testtype
testtype(obj,
Type::Relation)
checks, whether obj
is a relational expression and returns
TRUE
, if it is, otherwise
FALSE
."
_equal", "
_unequal", "
_less" and "
_leequal".
Expressions with the operations >=
and >
will be interpreted as expressions with
<=
and <
by exchanging the operands
(see example 2).
x > 3
is a relation, while
TRUE
is not:
>> testtype(x > 3, Type::Relation), testtype(TRUE, Type::Relation)
TRUE, FALSE
MuPAD always interprets expressions with the
operations >=
and >
as expressions with
<=
and <
with the operands
exchanged:
>> x > 3; prog::exprtree(x > 3):
3 < x _less | +-- 3 | `-- x
The operator is not >
, but
<
, and the operands have been swapped:
>> op(x > 3, 0..2)
_less, 3, x