在使用有可选项的模式时，在每个可选项中应该用同名.当形如 (a[x_]|b[x_]) 的模式与表达式匹配时，则必须有 一个与 x 对应的表达式，当 (a[x_]|b[y_]) 匹配时， 必须有与 x 或 y 对应的表达式，但不是同时与 x 和 y 对应. 所以不能用 x 和 y 指代确定 的一个表达式.
用 f 将头部命名为 a 或 b
In[5]:=
Out[5]=
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT. SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
