search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
https://teorth.github.io/equational_theories/
Apache License 2.0
265 stars 58 forks source link

refactor: Equation Explorer graph representation #805

Closed vlad902 closed 3 weeks ago

vlad902 commented 3 weeks ago

In anticipation of a follow-up change that allows equation explorer to look at either the general graph or the finite graph, I have refactored the equation explorer to use a separate graph JSON for it's graph representation. This makes it easier to swap out the graph representation later.

This change should have no functional changes to the equation explorer, it is just a refactor.