Type::Relation -- type for
testing relations
IntroductionWith Type::Relation, relational expression can be
identified.
Call(s)testtype(obj, Type::Relation)
Parametersobj |
- | any MuPAD object |
Returnssee testtype
Related
Functions
Detailstesttype(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).
Example
1x > 3 is a relation, while
TRUE is not:
>> testtype(x > 3, Type::Relation), testtype(TRUE, Type::Relation)
TRUE, FALSE
Example
2MuPAD 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