rewrite 
Moves the right side elements of an equation or inequality to the left side.
Syntax: rewrite (Eq/Ineq/List [ ) ]
exchange
Swaps the right-side and left-side elements of an equation or inequality.
Syntax: exchange (Eq/Ineq/List [ ) ]
eliminate
Solves one equation with respect to a variable, and then replaces the same variable in another expression with the obtained result.
Syntax: eliminate (Eq/Ineq/List-1, Variable, Eq-2 [ ) ]
absExpand
Divides an absolute value expression into formulas without absolute value.
Syntax: absExpand (Eq/Ineq [ ) ]
andConnect
Combines two equations or inequalities into a single expression.
Syntax: andConnect (Eq/Ineq-1, Eq/Ineq-2 [ ) ]
getRight
Extracts the right-side elements of an equation or inequality.
Syntax: getRight (Eq/Ineq/List [ ) ]
getLeft
Extracts the left-side elements of an equation or inequality.
Syntax: getLeft (Eq/Ineq/List [ ) ]
and
Returns the result of the logical AND of two expressions.
Syntax: Exp/Eq/Ineq/List-1 and Exp/Eq/Ineq/List-2
or
Returns the result of the logical OR of two expressions.
Syntax: Exp/Eq/Ineq/List-1 or Exp/Eq/Ineq/List-2
xor
Returns the logical exclusive XOR of two expressions.
Syntax: Exp/Eq/Ineq/List-1 xor Exp/Eq/Ineq/List-2
not
Returns the logical NOT of an expression.
Syntax: not(Exp/Eq/Ineq/List [ ) ]
