In[]:=
mm=ResourceFunction["https://www.wolframcloud.com/obj/nikm/DeployedResources/Function/MetamathImport"]["SetMM"]
Out[]=
MetamathObject

Symbols: 1605
Statements: 97351
Data not saved. Save now

In[]:=
metamathGraph=mm["DependencyGraph"]
Out[]=
Graph
Vertex count: 42279
Edge count: 1297670

In[]:=
MatrixPlot@AdjacencyMatrix[metamathGraph]
Out[]=
In[]:=
MatrixPlot@IncidenceMatrix[SimpleGraph@metamathGraph]
Out[]=
In[]:=
MatrixPlot@KirchhoffMatrix[metamathGraph]
Out[]=
In[]:=
MatrixPlot@EdgeCycleMatrix[metamathGraph]
General
:The current computation was aborted because there was insufficient memory available to complete the computation.
Throw
:Uncaught SystemException returned to top level. Can be caught with Catch[…, _SystemException].
Out[]=
SystemException[MemoryAllocationFailure]
In[]:=
embedding=GraphEmbedding[TransitiveReductionGraph@metamathGraph,"SpringElectricalEmbedding"]
Out[]=
{{9.24112,10.7033},{9.1476,10.9686},{10.2018,10.4662},{12.2413,9.44521},{11.0196,10.5712},{9.41314,10.8148},{13.2819,9.79009},
⋯42125⋯
,{11.1612,10.7391},{11.3144,11.2702},{15.3839,9.34372},{16.7692,10.0233},{17.1092,11.0168},{16.5673,11.2075},{17.8732,12.1363}}
large output
show less
show more
show all
set size limit...
In[]:=
fe=DimensionReduction[Table[RandomGraph[{10,20}],10],2]
Out[]=
DimensionReducerFunction
Input type: Graph
Output dimension: 2

In[]:=
fe@RandomGraph[{10,20}]
Out[]=
{-4.02987,2.77402}
In[]:=
dr=DimensionReduce[AdjacencyMatrix@metamathGraph,3]
Out[]=
{{0.179786,-0.0808885,0.214805},{0.,0.,0.},{0.,0.,0.},{0.0597839,0.00292407,0.0545564},{0.180939,-0.0819722,0.216248},{0.,0.,0.},
⋯42127⋯
,{0.0856712,-0.0298266,0.0418566},{7.96079,1.41507,3.87362},{6.07483,2.56114,0.936025},{5.77019,1.73317,0.619977},{3.35136,1.53243,-0.905775},{0.774032,1.39996,-0.353907}}
large output
show less
show more
show all
set size limit...
In[]:=
embedding3d=GraphEmbedding[Graph3D[TransitiveReductionGraph@metamathGraph],"SpringElectricalEmbedding"];
In[]:=
Graphics3D[{PointSize[0.001],MapThread[Tooltip,{Point/@embedding3d[[;;]],VertexList[metamathGraph][[;;]]}]}]
Out[]=