Trace

Usage

• Trace[expr]产生用在expr的计算中的所有表达式的一个列表。

• Trace[expr, form]仅包括匹配form的表达式。

• Trace[expr, s]包括所有使用和符号s关联的变换规则的计算。

Notes

• 通常，在Trace[expr, form]中的form既和被计算的每个完全表达式比较，也和在计算时使用的任何变换规则相关联的标记比较。

• Trace[expr, lhs -> rhs]选出匹配 lhs 的表达式，然后用返回列表中的rhs替换它们。

• 由Trace返回的列表中的所有表达式被包裹在HoldForm中。

• Trace返回一个嵌套列表集合。每个个体列表相应于一个单一计算链，包含对一个特殊表达式找到的形式序列。这个列表有子列表，给出辅助计算的历史记录。

• 例如： Trace[2 3 + 4]

• 可以给出下面的选项：

"\!$\*StyleBox[\"\\\"MatchLocalNames\\\"\", \"MR\"]$ "	"\!$\*StyleBox[\"\\\"True\\\"\", \"MR\"]$ "	是否允许 x 代表x$nnn
"\!$\*StyleBox[\"\\\"TraceAbove\\\"\", \"MR\"]$ "	"\!$\*StyleBox[\"\\\"False\\\"\", \"MR\"]$ "	是否显示包含 form的链的计算链
"\!$\*StyleBox[\"\\\"TraceBackward\\\"\", \"MR\"]$ "	"\!$\*StyleBox[\"\\\"False\\\"\", \"MR\"]$ "	是否在计算链中显示在 form前的表达式
"\!$\*StyleBox[\"\\\"TraceDepth\\\"\", \"MR\"]$ "	"\!$\*StyleBox[\"\\\"Infinity\\\"\", \"MR\"]$ "	包括的嵌套计算的层数
"\!$\*StyleBox[\"\\\"TraceForward\\\"\", \"MR\"]$ "	"\!$\*StyleBox[\"\\\"False\\\"\", \"MR\"]$ "	是否在计算链中显示接着的表达式
"\!$\*StyleBox[\"\\\"TraceOff\\\"\", \"MR\"]$ "	"\!$\*StyleBox[\"\\\"None\\\"\", \"MR\"]$ "	以这种形式关掉跟踪
"\!$\*StyleBox[\"\\\"TraceOn\\\"\", \"MR\"]$ "	"\!$\*StyleBox[\"\\\"_\\\"\", \"MR\"]$ "	以这种形式打开跟踪
"\!$\*StyleBox[\"\\\"TraceOriginal\\\"\", \"MR\"]$ "	"\!$\*StyleBox[\"\\\"False\\\"\", \"MR\"]$ "	是否在它们的头和参数计算前浏览表达式