wolfram-mathematica - 如何获得 Mathematica 内置的全局重写规则列表？

Question

我了解 Mathematica 中的一千多个内置重写规则默认填充全局规则表。有没有办法让 Mathematica 给出这些规则的完整甚至部分列表？

Answer 1

最好的方法是在 Wolfram Research 找到工作。 .

如果做不到这一点，我认为对于没有完全编译到内核中的东西，你可以恢复大部分规则/定义。看着

Attributes[fn]

在哪里 fn是您感兴趣的命令。如果它返回

{Protected, ReadProtected}

然后您可以查看一些内容(尽管通常它只是一个 MakeBoxes(格式化)定义或 AutoLoad/Stub 类型定义)。看看有什么运行

Unprotect[fn];
ClearAttributes[fn, ReadProtected];
??fn

如果它是一个 stub ，您经常需要运行一个命令示例来加载它。您还必须从面向用户的命令深入到后端实现。
最终，您很可能会遇到一个编译到内核中的核心命令，而您看不到其详细信息。

我之前在 tips for creating Graph diagrams 中提到过。它在 What is in your Mathematica tool bag? 中被提及.
Experimental`AngularSlider[] 是一个很好的例子，它有一个很好的一口大小且易于理解的代码。 Circular/Angular slider 中提到.我将由您来查看生成的代码。

另一个例子类似于 BoxWhiskerChart ，您需要调用一次才能加载所有代码。然后你会看到 BoxWhiskerChart继续调用 Charting`iBoxWhiskerChart您必须取消保护才能查看，等等...