MakeRule

• MakeRule[{lhs, rhs}] gives a list of delayed rules lhs :> Module[{...}, rhs], but moving indices to consider all possible equivalent rules, according to the values of options.
• MakeRule[{lhs, rhs, conditions}] adds conditions to the rules.

• MakeRule has attribute HoldFirst, to avoid premature evaluation of any of lhs, rhs, conditions.
• There must be no patterns in lhs. Which indices are to be converted into patterns is controlled by the option PatternIndices.
• The power of MakeRule is given by its many options:
PatternIndices    All        indices to be converted into patterns
MetricOn        None        indices on which the metric must be used
TestIndices    True        whether vbundle of indices must be checked
UseSymmetries    True        whether symmetries must be used or not
ContractMetrics    False        whether to contract metric factors on the rhs
Verbose        False        report on the internal progress
• See: Section 6.2.
• See also: IndexRule, IndexRuleDelayed, IndexSet, IndexSetDelayed.
• New in version 0.
• Last update: 26-X-2007 for version 0.9.3 of xTensor`.

Created by Mathematica  (May 16, 2008)