SubValues 和 DownValues

TBE_Legend

1. 
   
2. Clear["Global`*"]
   
3. f[1][x_] := Q;
   
4. f[x_] := P;
   
5. Information[f]
   
6. {f[1][3] // Trace, f[2][3] // Trace}
   

复制代码

zsmiup

请问下高手，您是怎么把 代码 一条条 写上去的？

就是
01 Clear['Global'*"]
02  ~~~
03  ~~~
04 ~~~~

谢谢

guocong89

1# TBE_Legend

那么第一幅图中，除了把f[1][x_]定义在f[x_]之后，还有什么方法可以符合要求呢?

TBE_Legend

1# TBE_Legend

那么第一幅图中，除了把f[1][x_]定义在f[x_]之后，还有什么方法可以符合要求呢?
guocong89 发表于 2011-4-17 21:40

其实 我想要f[1][x]和f[x]是两个函数。 这是一个很无聊的问题， 不用理会这个问题了。

第一个图中，定义 f[1][x]时，其实左侧发生了计算，实际定义的是 P[x_]:=Q；

guocong老弟能否帮忙看看下面的代码，如何查询定义的还有角标的函数？

多谢~

1. Clear["Global`*"]
   
2. Subscript[f, 1][x_] := Q;
   
3. f[x_] := P;
   
4. Information[Subscript[f, 1]]
   
5. {Subscript[f, 1][xx], f[xx]}
   
6. 
   

复制代码

guocong89

4# TBE_Legend
基于你的第一个帖子，这个问题实际上就很好理解了。

你定义的值为Q那个函数，实际上是关于Subscript，f仅仅是一个参数，所以你是不可能通过查询f来获得这个函数的。相反，你通过

1. Information[Subscript]

复制代码

是可以确切看到这个函数的定义的。

更进一步，关于 mathematica 里function，pattern，symbol，expression这些基本概念，我们平时的理解还不是太深刻，有必要开个帖子进行探讨。

TBE_Legend

4# TBE_Legend
基于你的第一个帖子，这个问题实际上就很好理解了。

你定义的值为Q那个函数，实际上是关于Subscript，f仅仅是一个参数，所以你是不可能通过查询f来获得这个函数的。相反，你通过
Information[S ...
guocong89 发表于 2011-4-18 16:50

恩， 同意。