How to| 创建和使用规则
Mathematica 中的变换规则使您可以为符号、函数及所有其它类型的表达式设置局部值. 规则的使用提供了一个强大和可扩展的方法,用您指定的值来取代另一表达式的全部或一部分.
规则的缩写形式使用一个右箭头,它可以通过输入
得到(在 - 和 > 之间无空格). 在进一步输入时, Mathematica 前端自动将
转化为
. 任何一个符号都是 Rule 的缩写形式.
| In[1]:= |
| Out[1]= |
通过观察
的输出,您可以看到该规则并不做任何事情:输出仅仅是规则本身. 这是因为当规则单独存在时,它们是没有任何作用的. 您必须将规则与表达式合用才会有所用处.
规则可以通过使用
应用于表达式(ReplaceAll 的缩写形式). 一般的语法为
.
| In[57]:= |
| Out[57]= |
| In[58]:= |
| Out[58]= |
如果对同一变量给出两个规则,Mathematica 将仅用第一个规则:
| In[59]:= |
| Out[59]= |
| In[60]:= |
| Out[60]= |
| In[62]:= |
| Out[62]= |
| In[65]:= |
| Out[65]= |
| In[64]:= |
| Out[64]= |
要代替函数
,而不论其自变量如何,您必须在规则中使用一种模式.
| In[18]:= |
| Out[18]= |
关于使用模式的更多信息,请参见"模式引言."
使用
设置的规则是即时规则. 也就是说,右端与规则同时计算:
| In[1]:= |
| Out[1]= |
您有时可能要使用延时规则,这种规则在用于表达式之前保持不被计算. 延时规则通过 RuleDelayed 创建.
延时规则的缩写形式是
(: 和 > 之间无空格). Mathematica 前端会自动将
转换成
. 任何一个都代表 RuleDelayed 的缩写形式:
| In[2]:= |
| Out[2]= |
考虑这样一个问题:您希望使用一个规则来生成3个在0和1之间的随机实数. 使用即时规则生成的是3个相同的数:
| In[3]:= |
| Out[3]= |
| In[4]:= |
| Out[4]= |
显式使用
的赋值具有全局效应,而规则仅对使用它的表达式产生影响.
| In[19]:= |
| In[2]:= |
| Out[2]= |
| In[20]:= |
| In[4]:= |
| Out[4]= |
规则必须用于表达式才有作用. 然而,您可以将一个规则赋给一个符号,然后像使用规则一样使用这个符号.
| In[68]:= |
| In[69]:= |
| Out[69]= |
由于
现在作为符号
被全局保存,您可以继续在
的地方使用
.
类似地,您可以将一个表达式赋给一个符号,然后对这个符号应用规则:
| In[22]:= |
| In[6]:= |
| Out[6]= |
