More diagrams

Stream: Equational

[Vlad Tsyrklevich]

Working on equational#183 I styled diagrams so they looked more Hasse-like, and with the data from equational#281 this is probably very close to the final implication diagram. The subgraph is fully resolved (among nodes within the subgraph)
image.png

[Vlad Tsyrklevich]

I styled the entire graph a little differently with boxes around equations as well due to how busy the graph is:
graph.svg

If nobody has feedback on style or features they'd like to see, I'll submit upstream once equational#281 lands.

[Vlad Tsyrklevich]

Inspired by how useful I've found @Nicholas Carlini's tool, I'll try to see if I can turn this into a web app as that way people will be more likely to actually use it

[Vlad Tsyrklevich]

Wow, there are only 28k edges in the closure of the condensed graph, this is a WAY more efficient format to do this

[Vlad Tsyrklevich]

ok I have plans the rest of the day, but will pick this up tomorrow. It's ugly, but it's a start https://tsyrklevi.ch/eqviz/index.html?2 I have lots of ideas for this