Block a user
rubydragon
deleted branch refactoring from rubydragon/metagraphoptimization.jl
2024-06-27 13:28:16 +02:00
rubydragon
created branch congruent_in_ph in rubydragon/metagraphoptimization.jl
2024-06-27 13:22:20 +02:00
rubydragon
pushed to congruent_in_ph at rubydragon/metagraphoptimization.jl
2024-06-27 13:22:20 +02:00
QED Diagram Generation
Revision of the diagram generation:
What we really want are "labeled free plane trees with n vertices", i.e., trees that have no specified root (->free), have labeled nodes, and are in a plane…
QED Diagram Generation