rewrite 
Déplace les éléments du côté droit d’une équation ou d’une inégalité vers le côté gauche.
Syntaxe: rewrite (Eq/Ineq/List [ ) ]
exchange
Échange les éléments de droite et de gauche d’une équation ou d’une inégalité.
Syntaxe: exchange (Eq/Ineq/List [ ) ]
eliminate
Résout une équation par rapport à une variable, puis remplace la même variable dans une autre expression par le résultat obtenu.
Syntaxe: eliminate (Eq/Ineq/List-1, Variable, Eq-2 [ ) ]
absExpand
Divise une expression de valeur absolue en formules sans valeur absolue.
Syntaxe: absExpand (Eq/Ineq [ ) ]
andConnect
Combine deux équations ou inégalités en une seule expression.
Syntaxe: andConnect (Eq/Ineq-1, Eq/Ineq-2 [ ) ]
getRight
Extrait les éléments du côté droit d’une équation ou d’une inégalité.
Syntaxe: getRight (Eq/Ineq/List [ ) ]
getLeft
Extrait les éléments du côté gauche d’une équation ou d’une inégalité.
Syntaxe: getLeft (Eq/Ineq/List [ ) ]
and
Renvoie le résultat du ET logique de deux expressions.
Syntaxe: Exp/Eq/Ineq/List-1 and Exp/Eq/Ineq/List-2
or
Renvoie le résultat du OU logique de deux expressions.
Syntaxe: Exp/Eq/Ineq/List-1 or Exp/Eq/Ineq/List-2
xor
Renvoie le XOR exclusif logique de deux expressions.
Syntaxe: Exp/Eq/Ineq/List-1 xor Exp/Eq/Ineq/List-2
not
Renvoie le NON logique d’une expression.
Syntaxe: not(Exp/Eq/Ineq/List [ ) ]
