©1998 Research Institute for Symbolic Computation (RISC-Linz)
This package contains the implementation of the term solver based on the CFLP calculus.
TSolve[ eqns, vars ]
eqns : the equation or set of equations to be solved
vars : the variables of eqns
the set of solutions of eqns.
Normalize[ subst ]
subst : a substitution represented as a set of Mathematica transformation rules.