Type representing relations
This functionality does not run in MATLAB.
With Type::Relation, relational expression can be identified.
Note: Expressions with the operations >= and > will be interpreted as expressions with <= and < by exchanging the operands (see Example 2).
This type does not represent a property.
x > 3 is a relation, while TRUE is not:
testtype(x > 3, Type::Relation), testtype(TRUE, Type::Relation)
MuPAD always interprets expressions with the operations >= and > as expressions with <= and < with the operands exchanged:
x > 3; prog::exprtree(x > 3):
_less | +-- 3 | `-- x
The operator is not >, but <, and the operands have been swapped:
op(x > 3, 0..2)