REDUCE
UpNextPrevPrevTailTail

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
UpNextPrevPrevTailFront

Hosted by Download REDUCE Powered by MathJax