Predicates
x < y (prec. 9)
x < y : Return True if "x" is smaller than "y", False otherwise.
x > y (prec. 9)
x > y : Return True if "x" is larger than "y", False otherwise.
x <= y (prec. 9)
x <= y : Return True if "x" is smaller than or equals "y", False otherwise.
x >= y (prec. 9)
x >= y : Return True if "x" is larger than or equals "y", False otherwise.
x!=y (prec. 9)
x!=y : Return True if "x" is not equal to "y", False otherwise.
x=y (prec. 9)
x=y : This operator performs the same action as Equals(x,y).
It returns True if x and y would be displayed on screen the same,
False otherwise.
Not(x)
Not(x) : Same as MatNot. Just nicer notation. Returns "True" if "x"
is "False", "False" of x is "True".
x And y (prec. 100)
x And y : Infix version of boolean and.
x Or y (prec. 101)
x Or y : Infix version of boolean or.
IsFreeOf(expression,variable)
Returns wether "expression" depends on
"variable". "expression" is evaluated beforehand.
Example: "IsFreeOf(x+y,x);" evaluates to "False".
IsZeroVector(vector)
Returns wether "vector" only contains zeroes.
"vector" should be a list.
IsNonObject(x)
IsNonObject(x) : returns true if x is not of
the form Object(...).