rewrite 
Verplaatst de elementen aan de rechterkant van een vergelijking of ongelijkheid naar de linkerkant.
Syntax: rewrite (Eq/Ineq/List [ ) ]
exchange
Wisselt de elementen aan de rechter- en linkerkant van een vergelijking of ongelijkheid.
Syntax: exchange (Eq/Ineq/List [ ) ]
eliminate
Lost een vergelijking op met betrekking tot een variabele en vervangt vervolgens dezelfde variabele in een andere uitdrukking door het verkregen resultaat.
Syntax: eliminate (Eq/Ineq/List-1, variabele, Eq-2 [ ) ]
absExpand
Verdeelt een uitdrukking van een absolute waarde in formules zonder absolute waarde.
Syntax: absExpand (Eq/Ineq [ ) ]
andConnect
Combineert twee vergelijkingen of ongelijkheden tot één enkele uitdrukking.
Syntax: andConnect (Eq/Ineq-1, Eq/Ineq-2 [ ) ]
getRight
Haalt de elementen aan de rechterkant van een vergelijking of ongelijkheid eruit.
Syntax: getRight (Eq/Ineq/List [ ) ]
getLeft
Haalt de elementen aan de linkerkant van een vergelijking of ongelijkheid eruit.
Syntax: getLeft (Eq/Ineq/List [ ) ]
and
Geeft het resultaat weer van de logische AND van twee uitdrukkingen.
Syntax: Exp/Eq/Ineq/List-1 and Exp/Eq/Ineq/List-2
or
Geeft het resultaat weer van de logische OR van twee uitdrukkingen.
Syntax: Exp/Eq/Ineq/List-1 or Exp/Eq/Ineq/List-2
xor
Geeft de logische exclusieve XOR van twee uitdrukkingen weer.
Syntax: Exp/Eq/Ineq/List-1 xor Exp/Eq/Ineq/List-2
not
Geeft de logische NOT van een uitdrukking weer.
Syntax: not(Exp/Eq/Ineq/List [ ) ]
