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.

[Graphics:TSolvegr2.gif][Graphics:TSolvegr1.gif]

Usage

[Graphics:TSolvegr2.gif][Graphics:TSolvegr3.gif]

[Graphics:TSolvegr2.gif][Graphics:TSolvegr4.gif]

[Graphics:TSolvegr2.gif][Graphics:TSolvegr5.gif]

[Graphics:TSolvegr2.gif][Graphics:TSolvegr6.gif]

Implementation

Begin

[Graphics:TSolvegr2.gif][Graphics:TSolvegr7.gif]

[Graphics:TSolvegr2.gif][Graphics:TSolvegr8.gif]

Options[TSolve]

[Graphics:TSolvegr2.gif][Graphics:TSolvegr9.gif]

[Graphics:TSolvegr2.gif][Graphics:TSolvegr10.gif]

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

[Graphics:TSolvegr2.gif][Graphics:TSolvegr11.gif]

[Graphics:TSolvegr2.gif][Graphics:TSolvegr12.gif]

Normalize

Syntax call
Normalize
[ subst ]
Input
subst
: a substitution represented as a set of Mathematica transformation rules.
Output
subst
normalized
Implementation

[Graphics:TSolvegr2.gif][Graphics:TSolvegr13.gif]

End

[Graphics:TSolvegr2.gif][Graphics:TSolvegr14.gif]

[Graphics:TSolvegr2.gif][Graphics:TSolvegr15.gif]