rewrite 
Liikuttaa yhtälön tai epäyhtälön oikean puolen elementit vasemmalle puolelle.
Syntaksi: rewrite (Eq/Ineq/List [ ) ]
exchange
Vaihtaa yhtälön tai epäyhtälön oikean- ja vasemmanpuoleiset elementit.
Syntaksi: exchange (Eq/Ineq/List [ ) ]
eliminate
Ratkaisee yhden yhtälön muuttujan suhteen ja vaihtaa sen jälkeen saman muuttujan toiseen lausekkeeseen saadulla tuloksella.
Syntaksi: eliminate (Eq/Ineq/List-1, Muuttuja, Eq-2 [ ) ]
absExpand
Jakaa absoluuttisen arvon lausekkeen kaavoihin ilman absoluuttista arvoa.
Syntaksi: absExpand (Eq/Ineq [ ) ]
andConnect
Yhdistää kaksi yhtälöä tai epäyhtälöä yhdeksi lausekkeeksi.
Syntaksi: andConnect (Eq/Ineq-1, Eq/Ineq-2 [ ) ]
getRight
Laskee yhtälön tai epäyhtälön oikeanpuoleiset elementit.
Syntaksi: getRight (Eq/Ineq/List [ ) ]
getLeft
Laskee yhtälön tai epäyhtälön vasemmanpuoleiset elementit.
Syntaksi: getLeft (Eq/Ineq/List [ ) ]
and
Palauttaa kahden lausekkeen loogisen AND-tekijän tuloksen.
Syntaksi: Exp/Eq/Ineq/List-1 and Exp/Eq/Ineq/List-2
or
Palauttaa kahden lausekkeen loogisen OR-tekijän tuloksen.
Syntaksi: Exp/Eq/Ineq/List-1 or Exp/Eq/Ineq/List-2
xor
Palauttaa kahden lausekkeen loogisen eksklusiivisen XOR-tekijän tuloksen.
Syntaksi: Exp/Eq/Ineq/List-1 xor Exp/Eq/Ineq/List-2
not
Palauttaa lausekkeen loogisen NOT-tekijän.
Syntaksi: not(Exp/Eq/Ineq/List [ ) ]
