rewrite 
方程式または不等式の右辺の要素を左辺に移動します。
構文: rewrite (Eq/Ineq/List [ ) ]
exchange
方程式または不等式の右辺の要素と左辺の要素を入れ替えます。
構文: exchange (Eq/Ineq/List [ ) ]
eliminate
指定した変数について 1つの方程式の解を求め、別の方程式の同じ変数を得られた解で置き換えます。
構文: eliminate (Eq/Ineq/List-1, 変数, Eq-2 [ ) ]
absExpand
絶対値式を、絶対値のない式に分割します。
構文: absExpand (Eq/Ineq [ ) ]
andConnect
2つの方程式または不等式を、1つの式に結合します。
構文: andConnect (Eq/Ineq-1, Eq/Ineq-2 [ ) ]
getRight
方程式または不等式の右辺の要素を抽出します。
構文: getRight (Eq/Ineq/List [ ) ]
getLeft
方程式または不等式の左辺の要素を抽出します。
構文: getLeft (Eq/Ineq/List [ ) ]
and
2つの式の論理積（AND）を返します。
構文: Exp/Eq/Ineq/List-1 and Exp/Eq/Ineq/List-2
or
2つの式の論理和（OR）を返します。
構文: Exp/Eq/Ineq/List-1 or Exp/Eq/Ineq/List-2
xor
2つの式の排他的論理和（XOR）を返します。
構文: Exp/Eq/Ineq/List-1 xor Exp/Eq/Ineq/List-2
not
2つの式の否定（NOT）を返します。
構文: not(Exp/Eq/Ineq/List [ ) ]
