In this line - I enjoyed playing Euclidea (https://www.euclidea.xyz/) a minimalistic game on Euclidean geometry.
The specification of geometry looks similar to the one from the game.
As a recovering mathematician, this fills me with joy. It would be great if it were implemented as, say, a LaTeX package, so the code to your diagrams could sit right in your documents (like how TikZ works). Still, either way, amazing work!
It will be great to include Penrose diagrams in LaTeX documents. But Penrose is implemented in Haskell and I'm pretty sure no-one would want to see what it would look like were it implemented in TeX!
I agree that rendering graphics as a separate file is fine. I think, if one wants to get better interoperability with TeX, they can try to make Penrose produce TikZ, which can be then embedded into the TeX document.
Oh sure, reimplementing in TeX would not be worth thinking about! I'm not familiar with exactly how TeX packages work, but I assumed they could call out to external tools that return the necessary (La)TeX commands (e.g., code syntax highlighters work like this, IIRC).
OK, I see. Sorry yes I agree what you're saying is sensible and what I said was silly.
Yes, minted works like that -- it starts a python child process to use pygments to do the syntax highlighting. But with minted and TikZ there's a single element of "source code" in the LaTeX file (a code listing or tikz code fragment respectively) that maps to a single element in the output (syntax-highlighted code, or a TiKZ image). Whereas with Penrose, there would be multiple source code files (the style and substance code). I'm not sure it quite fits the native LaTeX model does it? Maybe it's better just to use Make to generate the Penrose diagram for inclusion via \includegraphics?
Stuff like this could be amazing for pedagogy. It’s automatically generating different ways of looking at a topic. I’m sure authors would love to include these different viewpoints were it not for the effort involved, so making it easy could be great!
...
Side note: when I hear "Penrose diagrams" I have in mind Penrose tensor notation, as in https://www.math3ma.com/blog/matrices-as-tensor-network-diag....