# TSolve

©1998 Research Institute for Symbolic Computation (RISC-Linz)

##### NO WARRANTY

## Package Description

This package contains the implementation of the term solver based on the CFLP calculus.

#### Usage

## Implementation

### Begin

#### Options[TSolve]

**
**

**
**
#### TSolve

*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*

#### Normalize

*Syntax call*

Normalize[ *subst*** **]

*Input*

subst : a substitution represented as a set of *Mathematica* transformation rules.

*Output*

subst normalized

*Implementation*

**
**
### End