函数的变换规则

"符号的值" 节讨论过如何使用形如 的变换规则来用一个值替换符号. 然而，在 Mathematica 中，变换规则的表示法是相当一般的. 用户不仅能对符号，也能对任何 Mathematica 表达式建立变换规则.

使用变换规则 用 替换 .

In[1]:=

Out[1]=

也可以对 使用变换规则. 这个规则并不影响 .

In[2]:=

Out[2]=

是一个模式 ，它代表具有任何自变量的 .

In[3]:=

Out[3]=

Mathematica 变换规则最强有力的方面或许是它们不仅能用于表达式，而且能用于模式（patterns）. 模式是一个诸如 这样的包含下划线的表达式. 下划线可以代表任何表达式. 这样，对 的变换规则将变换具有任何 自变量的函数 . 注意，作为对照，对不带有下划线的 的变换规则只变换表达式 ，而对诸如 等表达式没有任何作用.

当用户定义一个函数，例如 时，所做的事情是告诉 Mathematica，在任何可能的时候，自动使用变换规则.

In[4]:=

Out[4]=

这里对 使用变换规则.

In[5]:=

Out[5]=

"模式" 和 "变换规则和定义" 节将讨论怎样对任何种类的表达式建立模式和变换规则，我们可以说 Mathematica 的所有表达式都有一个确定的符号结构；而变换规则允许用户变换结构的一部分.