rewrite 
Move os elementos do lado direito de uma equação ou inequação para o lado esquerdo.
Sintaxe: rewrite (Eq/Ineq/List [ ) ]
exchange
Troca os elementos do lado direito e do lado esquerdo de uma equação ou inequação.
Sintaxe: exchange (Eq/Ineq/List [ ) ]
eliminate
Resolve uma equação em relação a uma variável e depois substitui a mesma variável em outra expressão pelo resultado obtido.
Sintaxe: eliminate (Eq/Ineq/List-1, Variável, Eq-2 [ ) ]
absExpand
Divide uma expressão de valor absoluto em fórmulas sem valor absoluto.
Sintaxe: absExpand (Eq/Ineq [ ) ]
andConnect
Combina duas equações ou inequações em uma única expressão.
Sintaxe: andConnect (Eq/Ineq-1, Eq/Ineq-2 [ ) ]
getRight
Extrai os elementos do lado direito de uma equação ou inequação.
Sintaxe: getRight (Eq/Ineq/List [ ) ]
getLeft
Extrai os elementos do lado esquerdo de uma equação ou inequação.
Sintaxe: getLeft (Eq/Ineq/List [ ) ]
and
Retorna o resultado do AND lógico de duas expressões.
Sintaxe: Exp/Eq/Ineq/List-1 and Exp/Eq/Ineq/List-2
or
Retorna o resultado do OR lógico de duas expressões.
Sintaxe: Exp/Eq/Ineq/List-1 or Exp/Eq/Ineq/List-2
xor
Retorna o XOR exclusivo lógico de duas expressões.
Sintaxe: Exp/Eq/Ineq/List-1 xor Exp/Eq/Ineq/List-2
not
Retorna o NOT lógico de uma expressão.
Sintaxe: not(Exp/Eq/Ineq/List [ ) ]
