UpValues
UpValues[f]
给出对应于为符号 f 定义的所有上值(g[…,f[…],…] 的值)的变换规则列表.
UpValues["symbol"]
给出转换规则列表,该列表与针对名为 "symbol"(如果存在)的符号所定义的所有的上值 (upvalue) 相对应.
更多信息和选项
- UpValues[f] 也给出对应于 g[…,f,…] 的规则.
- 当运算表达式时,匹配上值在匹配下值之前应用. »
- 如果函数具有属性 HoldAllComplete,在进入函数主体之前不应用任何上值. »
- UpValues 通常使用 UpSet、UpSetDelayed、TagSet 或 TagSetDelayed 定义.
- 可以通过 UpValues[f]=list 形式的赋值来指定 f 的上值.
- 由 UpValues 返回的列表具有形如 HoldPattern[lhs]:>rhs 的元素.
范例
打开所有单元关闭所有单元基本范例 (1)
属性和关系 (7)
HoldPattern 用来保护它们本身定义的规则:
如果指定的符号不存在,UpValues["sym"] 将发出一条消息:
Definition 和 Information 显示upvalue,但不将它们返回作为结果:
UpValues 返回一个可用于程序中的值:
即使函数具有属性 HoldAll,上值也将会在运算期间被应用:
如果函数具有属性 HoldAllComplete,则将不应用上值:
Wolfram Research (1991),UpValues,Wolfram 语言函数,https://reference.wolfram.com/language/ref/UpValues.html (更新于 1996 年).
文本
Wolfram Research (1991),UpValues,Wolfram 语言函数,https://reference.wolfram.com/language/ref/UpValues.html (更新于 1996 年).
CMS
Wolfram 语言. 1991. "UpValues." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 1996. https://reference.wolfram.com/language/ref/UpValues.html.
APA
Wolfram 语言. (1991). UpValues. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/UpValues.html 年