Graph of 4697 nodes using Cytoscape.js

Stream: Equational

[Eric Taucher]

As a proof of concept to see if Cytoscape.js could display and respond to mouse moments of the implications graph with 4697 nodes created using a single HTML.

The HTML file is available here

https://github.com/EricGT/Equational-implication-graph-four-operations/tree/main

Download the HTML then open with a browser such as Chrome.

One can zoom into any single node on the edge of the circle and move the node using a mouse. Notice that the edges adjust as the node is moved.

The 4697 nodes are the 4694 nodes plus three others from

https://github.com/teorth/equational_theories/blob/main/equational_theories/Generated/All4x4Tables/data/implications.json

Note: There is no copyright or license as anyone with basic knowledge of the information could have easily created it. :smile: