MATHEMATICA 教程

模式块的命名

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

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

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

这里只有当 的两个变量完全相同时才能进行变换.
In[1]:=
Click for copyable input
Out[1]=

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

_任何表达式
x_命名为 x 的任何表达式
x:patternpattern 匹配的名为 x 的表达式

命名的模式.

进行命名,可以将其作为一个整体在右端使用.
In[2]:=
Click for copyable input
Out[2]=
指数为 ,整体为 .
In[3]:=
Click for copyable input
Out[3]=

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

模式匹配两种情形.
In[4]:=
Click for copyable input
Out[4]=
这里限制 的两个变量相同,故仅第一种情形与模式匹配.
In[5]:=
Click for copyable input
Out[5]=
New to Mathematica? Find your learning path »
Have a question? Ask support »