REDUCE

11 Substitution Commands

An important class of commands in REDUCE define substitutions for variables and expressions to be made during the evaluation of expressions. Such substitutions use the prefix operator SUB, various forms of the command LET, and rule sets.

 11.1 SUB Operator
 11.2 LET Rules
 11.3 Rule Lists
 11.4 Asymptotic Commands