2.3.3 模式块的命名当进行变换时，常常需要对模式块命名. x_ 表示任何表达式， 并将此表达式命名为 x ，随后就可以在变换规则的右端引用它. 当使用 x_ 时， 一个要点是在特定表达式中具有 x 名的表达式是相同的. f[x_, x_] 表示 f 的两个变量完全相同，而 f[_, _] 可以表示形如 f[x, y] 的表达式，该表达式中的变量 x 和 y 不必相同. 这里只有当 f 的两个变量完全相同时才能进行变换
Out[1]= |  |
在 Mathematica 中，不仅可以对一个空位命名，而且可以对模式 中的任何部分命名，一般， 的模式，在变换 规则中可以将这种机理用到模式的任何部分以便在变换规则的右端使用. 命名的模式 对 _^_ 进行命名，可以将其 作为一个整体在右端使用
Out[2]= |  |
指数为 n，整体 _ ^n 为 x
Out[3]= |  |
当模式中的两部分具有相同的名称时，这就使模式仅与对应部分相同的表达式匹配. 模式匹配两种情况
Out[4]= |  |
这里限制 f 的两个变量相同，故仅第一种情况与模式匹配
Out[5]= |  |
| 
