此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

2.4.13 级专题:值集的操作

建立和寻找符号的值

Mathematica 按变换规则列表的方式有效地保存给出的定义,当遇到一个符号时, 就调用与它有关的规则列表. 在绝大部分情况下,不需要涉及与定义有关的变换 规则,只需要用 lhs = rhs lhs =. 来添加或删除规则. 然而在有些情况下直接进入这些规则是十分有用的.

定义 f

定义 f 的规则

注意建立 DownValuesUpValues 的返回值规则是为了让左、右两边都不 进行计算. 左端包含在 HoldPattern 中,规则被延时,所以右边不立即计算.
正如在 2.4.6 节中所讨论的一样,Mathematica 按特殊定义出现在一般定义之前的 原则对定义排序. 事实上没有唯一确定的方式去排序,可以用与 Mathematica 默认次序不同的方式去排序,对用 DownValuesUpValues 得到的规则表重新排序 就达到目的.