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

DownValues

Usage

DownValues[f]给出一个与所有为符号 f定义的downvalue相一致的变换规则列表.


Notes

• 你可以使用形式为DownValues[f] = list的赋值来指定downvalue.
• 由 DownValues返回的列表的元素具有形式HoldPattern[lhs] :> rhs..
• 参见Mathematica 全书: 2.4.13节.
• 同时参见: Set, UpValues.
Further Examples

This defines a downvalue for f.

In[1]:=  

The definition is associated with f.

In[2]:=  



The definition is not associated with g; To associate the definition with g use TagSet (/:).

In[3]:=