模式块的命名

当进行变换时，常常需要对模式块命名. 对象如 表示任何表达式，并将此表达式命名为 x. 随后，就可以在变换规则的右端引用它.

一个要点是，当使用 时，Mathematica 要求在特定表达式中具有 x 名的表达式是相同的.

因此， 表示 的两个变量完全相同. 而 可以表示形如 的表达式，其中该表达式中的变量 x 和 y 不必相同.

这里只有当 的两个变量完全相同时才能进行变换.

In[1]:=

Out[1]=

在 Mathematica 中，不仅可以对一个空位命名，而且可以对模式中的任何部分命名，一般， 表示命名为 x 的模式. 在变换规则中，可以将这种机制用到模式的任何部分以便在变换规则的右端使用.

命名的模式.

对 进行命名，可以将其作为一个整体在右端使用.

In[2]:=

Out[2]=

指数为 ，整体为 .

In[3]:=

Out[3]=

当模式中的两部分具有相同的名称时，这就使模式仅与对应部分相同的表达式匹配.

In[4]:=

Out[4]=

这里限制 的两个变量相同，故仅第一种情形与模式匹配.

In[5]:=

Out[5]=