区分不同的“图” Mathematica 8 中的对象

Question

我想自动确定给定对象是 Combinatorica 还是 Mathematica 8.0 Graph。

FullForm 似乎没有足够的信息来区分哪个是哪个

(* output of Combinatorica`CompleteGraph[1] *)
Graph[List[],List[List[List[0,0]]]]

(* output of System`CompleteGraph[1] *)
Graph[List[1],List[]]

，但是 Mathematica 能够区分它们并将一个呈现为文本字符串，另一个呈现为视觉对象。有没有

1. 办法查看表达式中未以 FullForm
2. 方式显示的“隐藏”信息 查看 Mathematica 用于呈现表达式的规则？

更新： 尽管显示的头部相同，但 Head 似乎为两个图表给出了不同的结果。将函数定义为 f[a_System'Graph] 和 f[a_Combinatorica'Graph] 会导致调用正确的版本

Answer 1

Head 对于两种类型的图形返回不同的值：

In[1]:= g1 = Combinatorica`CompleteGraph[1];

In[2]:= g2 = System`CompleteGraph[1];

In[3]:= Combinatorica`Graph === Head[#] & /@ {g1, g2}

Out[3]= {True, False}

In[4]:= System`Graph === Head[#] & /@ {g1, g2}

Out[4]= {False, True}

对于问题 1，您在查看非符号对象（如图形、图像等）中的“隐藏”信息的选项有限。您可以调用built -in Mathematica 函数可以访问本机对象表示。有特定于对象类型的函数（如 VertextCount 或 ImageDimensions）或更通用的函数（如 CurrentValue 或 PropertyValue）。您可以通过 MMA 文档来查找此类函数的完整列表。或者，有时您可以通过检查包含此类对象的输出单元格的单元格表达式来收集有用的信息。但这可能是偶然的。

对于问题 2，WRI 通常会保护内置功能的渲染规则。此外，某些功能（如绘图工具和图形编辑器）似乎直接内置到笔记本界面本身中。您可能会幸运地检查渲染函数（例如MakeBoxes和Format等）的上值或下值。同样，这有点碰运气。