UpValues

UpValues[f]

给出对应于为符号 f 定义的所有上值(g[,f[],] 的值)的变换规则列表.

UpValues["symbol"]

给出转换规则列表,该列表与针对名为 "symbol"(如果存在)的符号所定义的所有的上值 (upvalue) 相对应.

更多信息和选项

范例

打开所有单元关闭所有单元

基本范例  (1)

使用 TagSetDelayed 定义符号 g 的上值:

使用 UpSetDelayed 定义上值:

g 相关的 upvalue:

范围  (3)

UpValues 返回对应于符号定义的upvalue的规则:

创建几个值:

获取名称以 x 开头的符号的上值:

UpValues 可以直接设置值:

应用  (2)

生成的规则按给定的顺序排列:

现在对定义重新排序:

将一个符号的定义复制到另一个符号:

属性和关系  (7)

值可以通过立即或延迟赋值来定义:

HoldPattern 用来保护它们本身定义的规则:

如果指定的符号不存在,UpValues["sym"] 将发出一条消息:

如果符号存在但没有定义,则返回一个空列表:

DefinitionInformation 显示upvalue,但不将它们返回作为结果:

UpValues 返回一个可用于程序中的值:

一个表达式的计算,将规则应用在它的头部:

在运算中匹配下值之前使用匹配上值:

g 的上值在 f 的下值之前使用:

与手动应用上值和下值进行比较:

g 定义一个适用于所有标头的上值:

即使函数具有属性 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 年

BibTeX

@misc{reference.wolfram_2024_upvalues, author="Wolfram Research", title="{UpValues}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/UpValues.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_upvalues, organization={Wolfram Research}, title={UpValues}, year={1996}, url={https://reference.wolfram.com/language/ref/UpValues.html}, note=[Accessed: 22-November-2024 ]}