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是否在计算链中显示 form 后的表达式
    TraceOffNone以这种形式关掉跟踪
    TraceOn_以这种形式打开跟踪
    TraceOriginalFalse是否在它们的头和参数计算前浏览表达式
  • 在 Trace 的执行期间，form 的参数和对选项 TraceOn 和 TraceOff 的设置，可以通过分别重新设置全局变量 $TracePattern、$TraceOn 和 $TraceOff 的值来修改.

范例

基本范例  (2)

追踪计算中的每一步：

仅追踪有头部 Times 的计算：

使用 Trace 跟踪 FoldList 的操作：

Wolfram Research (1991)，Trace，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Trace.html.

文本

Wolfram Research (1991)，Trace，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Trace.html.

CMS

Wolfram 语言. 1991. "Trace." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Trace.html.

APA

Wolfram 语言. (1991). Trace. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Trace.html 年

BibTeX

@misc{reference.wolfram_2024_trace, author="Wolfram Research", title="{Trace}", year="1991", howpublished="\url{https://reference.wolfram.com/language/ref/Trace.html}", note=[Accessed: 17-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_trace, organization={Wolfram Research}, title={Trace}, year={1991}, url={https://reference.wolfram.com/language/ref/Trace.html}, note=[Accessed: 17-November-2024 ]}