Amateur Mathematics

john's Avatar


22 Apr, 2018 04:11 AM

Today I happened across a fascinating article about a breakthrough in graph theory in Quanta Magazine:

… and followed a link in that article to a discovery of a related graph posted by a mathematician named Marijn Heule:

Dr. Heule posted vertex and edge files for his graph, so I decided to plot and animate them using NodeBox.

There were several small challenges. Heule posted his files in Mathematica and DIMACS formats. Mathematica uses expressions instead of absolute values for its coordinates, e.g. {(7 + Sqrt[33])/12, (Sqrt[3] + Sqrt[11])/12}. In order to convert these into something more NodeBox friendly I created an eval custom node that translates any mathematical expression into a value. You might find this node useful in other projects.

Once I had the coordinates it was fairly easy to plot them. I then created an animation to show that these graphs are composed of unit edges all the same length. The animation starts with 4461 unit line segments stacked in a grid and then morphs them to form the graph.

The attached NodeBox file contains a folder with the custom eval node, the data files, and a NodeBox network. The network file includes one network used to transform the original data into tab separated files, and a second network to plot and animate those files.

NodeBox is a great tool to do amateur mathematics with. Enjoy!


Reply to this discussion

Internal reply

Formatting help / Preview (switch to plain text) No formatting (switch to Markdown)

Attaching KB article:


Already uploaded files

  • 65.5 KB
  • Heule_Graph_Screenshot.png 2.99 MB
  • heule_graph_small.mp4 3.47 MB

Attached Files

You can attach files up to 10MB

If you don't have an account yet, we need to confirm you're human and not a machine trying to post spam.

Keyboard shortcuts


? Show this help
ESC Blurs the current field

Comment Form

r Focus the comment reply box
^ + ↩ Submit the comment

You can use Command ⌘ instead of Control ^ on Mac

Recent Discussions

16 Jun, 2022 05:30 AM
15 Jun, 2022 06:03 AM
06 Jun, 2022 01:07 PM
02 Jun, 2022 11:58 PM
30 May, 2022 07:48 AM


24 May, 2022 06:27 PM
20 May, 2022 04:12 PM
05 May, 2022 02:25 AM
03 May, 2022 04:46 AM
01 May, 2022 09:22 AM
18 Apr, 2022 09:01 PM