Substitute[expr,aListOfRules,(Optional On)]

Aliases: Sub

Description: It repeatedly replaces one symbol or sub-expression in the expression by another expression as specified by the rule. (See Wolfram's Mathematica 2.* book page 54.) More recently, we wrote the Transform command (§6.1.11) which apprears to be better.

Arguments: $expr$ is an algebraic expression. $aListOfRules$ is a single rule or list of rules specifying the substitution to be made. On = save rules to Rules.temp, temporarily over-riding SaveRules[Off]. `Off' cannot over-ride SaveRules[On].

Comments / Limitations: The symbols /. and //. are often used in Mathematica as methods for substituting one expression for another. This method of substitution often does not work when the expression to be substituted is a subexpression within a (noncommutative) product. This Substitute command is the noncommutative analogue to //.