UpValues
Usage
• UpValues[f] 给出相应于所有对符号 f 定义的上值的变换规则列表。
Notes
• 可以通过形如 UpValues[f] = list的赋值对 f 指定上值。 • 由UpValues返回的列表有形如 HoldPattern[lhs] :> rhs的元素。
Further Examples
This defines two upvalues for unitsquare and checks what they are.
In[1]:=
|
Out[1]=
|
In[2]:=
|
Out[2]=
|
In[3]:=
|
Out[3]=
|
|