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