• Unless the same set of pattern names appears in all of the
, you cannot use these pattern names on the right-hand side of transformation rules for the pattern. Thus, for example, you can use x
in a[x_] | b[x_]
, but you can use neither x
in a[x_] | b[y_]
• New in Version 2.