Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 核心语言 > 调整和调试 > 符号执行的历史记录 >

Trace

Trace[expr]
产生用在expr的计算中的所有表达式的一个列表。
Trace[expr, form]
仅包括匹配form的表达式。
Trace[expr, s]
包括所有使用和符号s关联的变换规则的计算。
  • 通常,在Trace[expr, form]中的form既和被计算的每个完全表达式比较,也和在计算时使用的任何变换规则相关联的标记比较。
  • Trace[expr, lhs->rhs]选出匹配 lhs的表达式,然后用返回列表中的rhs替换它们。
  • Trace返回的列表中的所有表达式被包裹在HoldForm中。
  • Trace返回一个嵌套列表集合。每个个体列表相应于一个单一计算链,包含对一个特殊表达式找到的形式序列。这个列表有子列表,给出辅助计算的历史记录。
  • 可以给出下面的选项:
MatchLocalNamesTrue是否允许x代表x$nnn
TraceAboveFalse是否显示包含 form的链的计算链
TraceBackwardFalse是否在计算链中显示在form前的表达式
TraceDepthInfinity包括的嵌套计算的层数
TraceForwardFalse是否在计算链中显示接 着的表达式
TraceOffNone以这种形式关掉跟踪
TraceOn_以这种形式打开跟踪
TraceOriginalFalse是否在它们的头和参数 计算前浏览表达式
  • Trace的执行期间,form的参数和对选项TraceOnTraceOff的设置,可以通过分别重新设置全局变量$TracePattern, $TraceOn和$TraceOff的值来修改。
在一个计算中追踪每一步:
In[1]:=
Click for copyable input
Out[1]=
仅追踪有头部 Times 的计算:
In[2]:=
Click for copyable input
Out[2]=
2 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team