Zulip Chat Archive

Stream: mathlib4

Topic: Visualizing the algebra hierarchy

Adam Topaz (Oct 04 2023 at 21:20):

I seem to recall someone posting here on zulip a nice graph visualizing the algebra hierarchy. Does anyone have such a thing handy? Or is there some code available somewhere to generate such graphs?

Damiano Testa (Oct 04 2023 at 21:41):

I think that it might have been @Bulhwi Cha?

Damiano Testa (Oct 04 2023 at 21:43):

This is what I remembered.

Adam Topaz (Oct 04 2023 at 22:08):

Thanks! I think I remember seeing something using graphviz?

Damiano Testa (Oct 04 2023 at 22:15):

Now that you mention it, there might have been a follow up to the diagram above... I am not sure how to find it, though.

Damiano Testa (Oct 04 2023 at 22:16):

Maybe it was Floris who posted it?

Damiano Testa (Oct 04 2023 at 22:17):

Possibly this?

Eric Wieser (Oct 04 2023 at 22:19):

I made one for @Johan Commelin a while back

Eric Wieser (Oct 04 2023 at 22:20):

But it was lean3

Eric Wieser (Oct 04 2023 at 22:20):

I have a small piece of it in my CICM 2023 slides

Adam Topaz (Oct 04 2023 at 22:36):

I think Floris’s graph is the one I was thinking of!

Adam Topaz (Oct 04 2023 at 22:37):

And it looks like he posted his code too! Great!

Last updated: Dec 20 2023 at 11:08 UTC